@Test public void testCopy() { assertEquals(a_xor_b, a_xor_b.copy()); assertEquals(a_xor_c, a_xor_c.copy()); }
@Override public LTLFormula copy() { ArrayList<LTLFormula> copiedChildren = new ArrayList<LTLFormula>(children.size()); for(LTLFormula child : children){ copiedChildren.add(child.copy()); } return new XOr(copiedChildren); }
XOr extends LTLFormula { @Override public LTLFormula copy() { ArrayList<LTLFormula> copiedChildren = new ArrayList<LTLFormula>(children.size()); for(LTLFormula child : children){ copiedChildren.add(child.copy()); } return new XOr(copiedChildren); } }
XOr extends LTLFormula { @Override public LTLFormula copy() { ArrayList<LTLFormula> copiedChildren = new ArrayList<LTLFormula>(children.size()); for(LTLFormula child : children){ copiedChildren.add(child.copy()); } return new XOr(copiedChildren); } XOr(ArrayList<LTLFormula> children); }
XOr extends LTLFormula { @Override public LTLFormula copy() { ArrayList<LTLFormula> copiedChildren = new ArrayList<LTLFormula>(children.size()); for(LTLFormula child : children){ copiedChildren.add(child.copy()); } return new XOr(copiedChildren); } XOr(ArrayList<LTLFormula> children); @Override LTLType getLTLType(); @Override LTLFormula normalize(); @Override LTLFormula copy(); static void main(String[] args); }
XOr extends LTLFormula { @Override public LTLFormula copy() { ArrayList<LTLFormula> copiedChildren = new ArrayList<LTLFormula>(children.size()); for(LTLFormula child : children){ copiedChildren.add(child.copy()); } return new XOr(copiedChildren); } XOr(ArrayList<LTLFormula> children); @Override LTLType getLTLType(); @Override LTLFormula normalize(); @Override LTLFormula copy(); static void main(String[] args);  }