C# (CSharp) ZedLangProgramData PredicateSetterListの例

コード例 #1

ファイル: LogicArgument.cs プロジェクト: GeoffBowden/ZedLang

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

コード例 #2

ファイル: LogicArgument.cs プロジェクト: GeoffBowden/ZedLang

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