C# (CSharp) TruthTree2.FOL.Logic WFF.GetConstants 예제들

예제 #1

파일: Biconditional.cs 프로젝트: Bram-Hub/CSharp-TT-APG

        public override HashSet <Constant> GetConstants()
        {
            HashSet <Constant> cons = left.GetConstants();

            cons.UnionWith(right.GetConstants());
            return(cons);
        }

예제 #2

        public override HashSet <Constant> GetConstants()
        {
            HashSet <Constant> cons = antecedent.GetConstants();

            cons.UnionWith(consequent.GetConstants());
            return(cons);
        }

예제 #3

 public override HashSet <Constant> GetConstants()
 {
     return(inner.GetConstants());
 }

예제 #4

 public override HashSet <Constant> GetConstants()
 {
     return(scope.GetConstants());
 }