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_; }