Esempi in C# (CSharp) per NegationFormula

Esempio n. 1

File: TextFormulaVisitor.cs Progetto: Sykorajakku/TS-web-app

        public string Visit(NegationFormula negationFormula)
        {
            if (negationFormula.Subformula.GetType() == typeof(VariableFormula))
            {
                return($"¬{negationFormula.Subformula.Apply(this)}");
            }

            return($"(¬{negationFormula.Subformula.Apply(this)})");
        }

Esempio n. 2

File: NegationTableau.cs Progetto: Sykorajakku/TS-web-app

 public NegationTableau(NegationFormula formula, TruthLabel truthLabel)
 {
     Formula    = Negation = formula;
     TruthLabel = truthLabel;
 }

Esempio n. 3

 public string Visit(NegationFormula negationFormula)
 {
     return($"({Junctions.Not} {negationFormula.Subformula.Apply(this)})");
 }