Esempi in C# (CSharp) per ZedLangProgramData PropositionList

Esempio n. 1

File: LogicArgument.cs Progetto: GeoffBowden/ZedLang

 public void Clear()
 {
     predicateList             = new PredicateList();
     propositionList           = new PropositionList();
     predicateSetterList       = new PredicateSetterList();
     thereforeSyntacticElement = null;
 }

Esempio n. 2

File: LogicArgument.cs Progetto: GeoffBowden/ZedLang

 public LogicArgument()
 {
     predicateList             = new PredicateList();
     propositionList           = new PropositionList();
     predicateSetterList       = new PredicateSetterList();
     thereforeSyntacticElement = null;
     Conclusion = null;
 }