@Test public void testType() { assertEquals(LTLType.OR, a_or_b.getLTLType()); assertEquals(LTLType.OR, a_or_c.getLTLType()); }
public LTLType getLTLType(){ return LTLType.OR; }
Or extends LTLFormula { public LTLType getLTLType(){ return LTLType.OR; } }
Or extends LTLFormula { public LTLType getLTLType(){ return LTLType.OR; } Or(ArrayList<LTLFormula> children); }
Or extends LTLFormula { public LTLType getLTLType(){ return LTLType.OR; } Or(ArrayList<LTLFormula> children); LTLType getLTLType(); LTLFormula copy(); LinkedHashSet<LinkedHashSet<LTLFormula>> toSetForm(); ATransition d(HashMap<LTLFormula, ATransition> D); static void main(String args[]); }
Or extends LTLFormula { public LTLType getLTLType(){ return LTLType.OR; } Or(ArrayList<LTLFormula> children); LTLType getLTLType(); LTLFormula copy(); LinkedHashSet<LinkedHashSet<LTLFormula>> toSetForm(); ATransition d(HashMap<LTLFormula, ATransition> D); static void main(String args[]);  }