예제 #1
0
 public Inference(Hypotheses hypotheses = null)
 {
     Hypotheses    = hypotheses;
     _inferenceSet = new Dictionary <Formula, int>();
     _lastFormula  = null;
     Length        = 0;
 }
예제 #2
0
        public static Hypotheses Union(Hypotheses first, Hypotheses second)
        {
            var ret = new Hypotheses();

            ret.Union(first);
            ret.Union(second);

            return(ret);
        }
예제 #3
0
 public void Union(Hypotheses other)
 {
     _hypotheses.UnionWith(other._hypotheses);
 }