C# (CSharp) LogicalForm.IsFormulaType Beispiele

Beispiel #1

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

Beispiel #2

Datei: Constant.cs Projekt: hwacha/SemInC

 public Constant(ISemanticType type, int id) : base(type)
 {
     this.type      = type;
     this.id        = id;
     this.isFormula = LogicalForm.IsFormulaType(type);
 }