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); }