@Test public void testType() { assertEquals(LTLType.XOR, a_xor_b.getLTLType()); assertEquals(LTLType.XOR, a_xor_c.getLTLType()); }
@Override public LTLType getLTLType(){ return LTLType.XOR; }
XOr extends LTLFormula { @Override public LTLType getLTLType(){ return LTLType.XOR; } }
XOr extends LTLFormula { @Override public LTLType getLTLType(){ return LTLType.XOR; } XOr(ArrayList<LTLFormula> children); }
XOr extends LTLFormula { @Override public LTLType getLTLType(){ return LTLType.XOR; } XOr(ArrayList<LTLFormula> children); @Override LTLType getLTLType(); @Override LTLFormula normalize(); @Override LTLFormula copy(); static void main(String[] args); }
XOr extends LTLFormula { @Override public LTLType getLTLType(){ return LTLType.XOR; } XOr(ArrayList<LTLFormula> children); @Override LTLType getLTLType(); @Override LTLFormula normalize(); @Override LTLFormula copy(); static void main(String[] args);  }