public Variable(ISemanticType type, int id) : base(type) { this.id = id; this.isFormula = LogicalForm.IsFormulaType(type); this.freeVariables = new HashSet <Variable>(); this.freeVariables.Add(this); }
public Constant(ISemanticType type, int id) : base(type) { this.type = type; this.id = id; this.isFormula = LogicalForm.IsFormulaType(type); }