public override bool Equals(object obj)
{
if (obj == null || GetType() != obj.GetType())
{
return(false);
}
Hypothesis other = (Hypothesis)obj;
return(premise.Equals(other.premise) && conclusion.Equals(other.conclusion));
}
public void Visit(Hypothesis hypothesis)
{
Sequent sequent = new Sequent(
new ISymbol[] { hypothesis.premise },
hypothesis.conclusion
);
Proof subproof = solver.Prove(sequent);
if (subproof != null)
{
Result = new Proof();
Result.AddProofStep(subproof);
}
}
public void Visit(Hypothesis hypothesis)
{
VisitLeaf(hypothesis);
}
