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

예제 #1

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

        public override HashSet <Variable> GetFreeVariables()
        {
            HashSet <Variable> vars = left.GetFreeVariables();

            vars.UnionWith(right.GetFreeVariables());
            return(vars);
        }

예제 #2

        public override HashSet <Variable> GetFreeVariables()
        {
            HashSet <Variable> vars = antecedent.GetFreeVariables();

            vars.UnionWith(consequent.GetFreeVariables());
            return(vars);
        }

예제 #3

        public override HashSet <Variable> GetFreeVariables()
        {
            HashSet <Variable> vars = scope.GetFreeVariables();

            vars.Remove(variable);
            return(vars);
        }

예제 #4

 public override HashSet <Variable> GetFreeVariables()
 {
     return(inner.GetFreeVariables());
 }