public UnaryPrefix(SymbolToken operator_, Formula operand)
{
this.operator_ = operator_;
this.operand = operand;
}
public Conditional(SymbolToken ifToken, Formula condition, Formula thenPart)
: base(ifToken)
{
this.condition = condition;
this.thenPart = thenPart;
}
public UnaryPrefix(SymbolToken operator_)
: this(operator_, NullFormula.Instance)
{
}
public Binary(SymbolToken operator_)
{
this.operator_ = operator_;
}
