public Query(Query another) { formula = new ArrayList(); Oid refOid = null; try { if (another.Oid != null) { refOid = (Oid)another.Oid.Clone(); } if (another.Formula != null) { QueryFormula[] items = (QueryFormula[])another.Formula.Clone(); formula.Clear(); foreach (QueryFormula item in items) { formula.Add(new QueryFormula(item)); } } } catch (Exception e) { e.ToString(); } oid = refOid; }
public Equivalent(Equivalent another) { torso = new ArrayList(); Oid refOid = null; torso = new ArrayList(); try { if (another.Oid != null) { refOid = (Oid)another.Oid.Clone(); } if (another.Torso != null) { Torso[] items = (Torso[])another.Torso.Clone(); torso.Clear(); foreach (Torso item in items) { torso.Add(new Torso(item)); } } } catch (Exception e) { e.ToString(); } oid = refOid; }
public Assert(Assert another) { Oid refOid = null; formula = new ArrayList(); try { if (another.Oid != null) { refOid = (Oid)another.Oid.Clone(); } if (another.Formula != null) { AssertFormula[] items = (AssertFormula[])another.Formula.Clone(); formula.Clear(); foreach (AssertFormula item in items) { formula.Add(new AssertFormula(item)); } } } catch (Exception e) { e.ToString(); } oid = refOid; }
public Or(Or another) { Oid refOid = null; formula = new ArrayList(); try { if (another.Oid != null) { refOid = (Oid)another.Oid.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(); } oid = refOid; isCorrected = another.isCorrected; }
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 Oid(Oid another) { if (another.Data != null) { data = (string)another.Data.Clone(); } if (another.Individual != null) { individual = (string)another.Individual.Clone(); } }
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 Protect(Protect another) { formula = new ArrayList(); warden = new ArrayList(); Oid refOid = null; try { if (another.Oid != null) { refOid = (Oid)another.Oid.Clone(); } if (another.Formula != null) { AssertFormula[] items = (AssertFormula[])another.Formula.Clone(); formula.Clear(); foreach (AssertFormula item in items) { formula.Add(new AssertFormula(item)); } } if (another.Warden != null) { Warden[] items = (Warden[])another.Warden.Clone(); warden.Clear(); foreach (Warden item in items) { warden.Add(new Warden(item)); } } } catch (Exception e) { e.ToString(); } oid = refOid; }
public Exist(Exist another) { Oid refOid = null; QueryFormula refFormula = null; declare = new ArrayList(); try { if (another.Oid != null) { refOid = (Oid)another.Oid.Clone(); } if (another.Declare != null) { Declare[] items = (Declare[])another.Declare.Clone(); declare.Clear(); foreach (Declare item in items) { declare.Add(new Declare(item)); } } if (another.Formula != null) { refFormula = (QueryFormula)another.Formula.Clone(); } } catch (Exception e) { e.ToString(); } oid = refOid; formula = refFormula; }
public override bool Equals(object o) { if (o == null || GetType() != o.GetType()) { return false; } Oid other = new Oid((Oid)o); if (this.Data != null) { if (!this.Data.Equals(other.Data)) { return false; } } if (this.Individual != null) { if (!this.Individual.Equals(other.Individual)) { return false; } } return true; }
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 RuleML(RuleML another) { Oid refOid = null; Assert refAssert = null; Query refQuery = null; Protect refProtect = null; parent = new ArrayList(); try { if (another.Assert != null) { refAssert = (Assert)another.Assert.Clone(); } if (another.Oid != null) { refOid = (Oid)another.Oid.Clone(); } if (another.Query != null) { refQuery = (Query)another.Query.Clone(); } if (another.Protect != null) { refProtect = (Protect)another.Protect.Clone(); } if (another.Parent != null) { int[] items = (int[])another.Parent.Clone(); parent.Clear(); foreach (int item in items) { parent.Add(item); } } } catch (Exception e) { e.ToString(); } assert = refAssert; oid = refOid; protect = refProtect; query = refQuery; id = another.id; }