apollo-backend/eu.yeger.apollo.shared.model.fol/Function/Unary/Unary

Unary

constructor(name: String, operand: Term)(source)

Creates an Unary term with the given name.

Parameters

name

The name of this unary term.