Esempi in C# (CSharp) per DisjunctionFormula

Esempio n. 1

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

 public string Visit(DisjunctionFormula disjunctionFormula)
 {
     return($"({disjunctionFormula.LeftSubformula.Apply(this)} ∨ {disjunctionFormula.RightSubformula.Apply(this)})");
 }

Esempio n. 2

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

 internal DisjunctionTableau(DisjunctionFormula formula, TruthLabel truthLabel)
 {
     Formula    = Disjunction = formula;
     TruthLabel = truthLabel;
 }