C# (CSharp) TruthTree2.FOL.Logic WFF.GetConstants Exemples

Exemple #1

Fichier : Biconditional.cs Projet : Bram-Hub/CSharp-TT-APG

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

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

Exemple #2

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

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

Exemple #3

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

Exemple #4

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