public EqGoal(Equation eq)
: base(eq)
{
Debug.Assert(Lhs is Var);
Debug.Assert(Rhs != null);
Functor = LogicSharp.Equal()(Lhs, Rhs);
}
public EqGoal(object lhs, object rhs, bool generated = false) :
base(lhs, rhs, generated)
{
Debug.Assert(lhs is Var);
Functor = LogicSharp.Equal()(Lhs, Rhs);
}
