public BasicFacts(IExpressionContextProvider <Expression, Variable> contextProvider, IFactBase <Variable> factBase, Predicate <APC> isUnreachable)
{
this.ContextProvider = contextProvider;
this.FactBase = factBase;
this.isUnreachable = isUnreachable;
}
public SimpleLogicInference(IExpressionContextProvider <Expression, Variable> contextProvider, IFactBase <Variable> factBase, Predicate <APC> isUnreachable)
: base(contextProvider, factBase, isUnreachable)
{
}
