public Inference(Hypotheses hypotheses = null)
{
Hypotheses = hypotheses;
_inferenceSet = new Dictionary <Formula, int>();
_lastFormula = null;
Length = 0;
}
public static Hypotheses Union(Hypotheses first, Hypotheses second)
{
var ret = new Hypotheses();
ret.Union(first);
ret.Union(second);
return(ret);
}
public void Union(Hypotheses other)
{
_hypotheses.UnionWith(other._hypotheses);
}