public Body(Body another) { Atom refAtom = null; And refAnd = null; Or refOr = null; try { if (another.And != null) { refAnd = (And)another.And.Clone(); } if (another.Atom != null) { refAtom = (Atom)another.Atom.Clone(); } if (another.Or != null) { refOr = (Or)another.Or.Clone(); } } catch (Exception e) { e.ToString(); } cf = another.cf; or = refOr; and = refAnd; atom = refAtom; }
public AndOrFormula(AndOrFormula another) { Atom refAtom = null; And refAnd = null; Or refOr = null; try { if (another.Atom != null) { refAtom = (Atom)another.Atom.Clone(); } if (another.InnerAnd != null) { refAnd = (And)another.InnerAnd.Clone(); } if (another.InnerOr != null) { refOr = (Or)another.InnerOr.Clone(); } } catch (Exception e) { e.ToString(); } atom = refAtom; and = refAnd; or = refOr; }
public Integrity(Integrity another) { Oid refOid = null; Atom refAtom = null; Or refOr = null; And refAnd = null; AndOrFormula refFormula = null; try { if (another.Oid != null) { refOid = (Oid)another.Oid.Clone(); } if (another.Atom != null) { refAtom = (Atom)another.Atom.Clone(); } if (another.InnerOr != null) { refOr = (Or)another.InnerOr.Clone(); } if (another.InnerAnd != null) { refAnd = (And)another.InnerAnd.Clone(); } if (another.Formula != null) { refFormula = (AndOrFormula)another.Formula.Clone(); } } catch (Exception e) { e.ToString(); } oid = refOid; and = refAnd; or = refOr; formula = refFormula; atom = refAtom; }
public Torso(Torso another) { Atom refAtom = null; try { if (another.Atom != null) { refAtom = (Atom)another.Atom.Clone(); } } catch (Exception e) { e.ToString(); } atom = refAtom; }
public Head(Head another) { Atom refAtom = null; try { if (another.Atom != null) { refAtom = (Atom)another.Atom.Clone(); } } catch (Exception e) { e.ToString(); } atom = refAtom; atom.initialIndividuals(); }
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 QueryFormula(QueryFormula another) { formula = new ArrayList(); Atom refAtom = null; Exist refExist = null; try { if (another.Atom != null) { refAtom = (Atom)another.Atom.Clone(); } if (another.Exist != null) { refExist = (Exist)another.Exist.Clone(); } if (another.Formula != null) { AndOrFormula[] items = (AndOrFormula[])another.Formula.Clone(); formula.Clear(); foreach (AndOrFormula item in items) { formula.Add(new AndOrFormula(item)); } } } catch (Exception e) { e.ToString(); } atom = refAtom; Exist = refExist; }
public Atom(Atom another) { Oid refOid = null; individual = new ArrayList(); variable = new ArrayList(); slot = new ArrayList(); data = new ArrayList(); variableNames = new ArrayList(); variableValues = new ArrayList(); Degree refDegree = null; Operator refOperator = null; try { if (another.Oid != null) { refOid = (Oid)another.Oid.Clone(); } if (another.Degree != null) { refDegree = (Degree)another.Degree.Clone(); } if (another.Operator != null) { refOperator = (Operator)another.Operator.Clone(); } if (another.Data != null) { string[] items = (string[])another.Data.Clone(); foreach (string item in items) { data.Add(new string(item.ToCharArray())); } } if (another.Individual != null) { string[] items = (string[])another.Individual.Clone(); foreach (string item in items) { individual.Add(new string(item.ToCharArray())); } } if (another.Variable != null) { string[] items = (string[])another.Variable.Clone(); foreach (string item in items) { variable.Add(new string(item.ToCharArray())); } } if (another.Slot != null) { Slot[] items = (Slot[])another.Slot.Clone(); foreach (Slot item in items) { slot.Add(new Slot(item)); } } if (another.VariableNames != null) { string[] items = (string[])another.VariableNames.Clone(); foreach (string item in items) { variableNames.Add(new string(item.ToCharArray())); } } if (another.VariableValues != null) { string[] items = (string[])another.VariableValues.Clone(); foreach (string item in items) { variableValues.Add(new string(item.ToCharArray())); } } } catch (Exception e) { e.ToString(); } oid = refOid; degree = refDegree; Operator = refOperator; fixedInd = another.FixedIndCount; assignedVariableCount = another.assignedVariableCount; variablesAssigned = another.variablesAssigned; index = -1; }
public override bool Equals(object o) { if (o == null || GetType() != o.GetType()) { return false; } Atom other = new Atom((Atom)o); if (this.oid != null) { if (!this.Oid.Equals(other.Oid)) { return false; } } if (this.Operator != null) { if (!this.Operator.Equals(other.Operator)) { return false; } } /* * if (this.Degree != null) * { * if (!this.Degree.Equals(other.Degree)) * { * return false; * } * } */ if (this.Individual.Length != other.Individual.Length) { return false; } for (int i = 0; i < Individual.Length; i++) { if (!Individual[i].Equals(other.Individual[i])) { return false; } } if (this.Data.Length != other.Data.Length) { return false; } for (int i = 0; i < Data.Length; i++) { if (!Data[i].Equals(other.Data[i])) { return false; } } if (this.Variable.Length != other.Variable.Length) { return false; } for (int i = 0; i < Variable.Length; i++) { if (!Variable[i].Equals(other.Variable[i])) { return false; } } if (this.Slot.Length != other.Slot.Length) { return false; } for (int i = 0; i < Slot.Length; i++) { if (!Slot[i].Equals(other.Slot[i])) { return false; } } return true; }
public int CompareTo(object o) { Atom another = new Atom((Atom)o); if (another.Degree != null && degree != null) { double thiscf = double.Parse(degree.Data.ToString()); double anothercf = double.Parse(another.Degree.Data.ToString()); if (thiscf > anothercf) { return -1; } else if (thiscf == anothercf) { return 0; } else { return 1; } } else if (another.Degree != null) { return 1; } else if (degree != null) { return -1; } return 0; }