public Implies(Implies another) { Oid refOid = null; Head refHead = null; Body refBody = null; try { if (another.Oid != null) { refOid = (Oid)another.Oid.Clone(); } if (another.Body != null) { refBody = (Body)another.Body.Clone(); } if (another.Head != null) { refHead = (Head)another.Head.Clone(); } } catch (Exception e) { e.ToString(); } oid = refOid; body = refBody; head = refHead; }
public ForAllFormula(ForAllFormula another) { Atom refAtom = null; ForAll refForall = null; Implies refImplies = null; Equivalent refEquivalent = null; try { if (another.Atom != null) { refAtom = (Atom)another.Atom.Clone(); } if (another.Equivalent != null) { refEquivalent = (Equivalent)another.Equivalent.Clone(); } if (another.Implies != null) { refImplies = (Implies)another.Implies.Clone(); } if (another.InnerForAll != null) { refForall = (ForAll)another.InnerForAll.Clone(); } } catch (Exception e) { e.ToString(); } atom = refAtom; imp = refImplies; forall = refForall; eq = refEquivalent; }
public override bool Equals(object o) { if (o == null || GetType() != o.GetType()) { return false; } Implies other = new Implies((Implies)o); if (this.oid != null) { if (!this.Oid.Equals(other.Oid)) { return false; } } if (this.Head != null) { if (!this.Head.Equals(other.Head)) { return false; } } if (this.Body != null) { if (!this.Body.Equals(other.Body)) { return false; } } return true; }