@Test public void testType() { assertEquals(LTLType.AND, a_and_b.getLTLType()); assertEquals(LTLType.AND, a_and_c.getLTLType()); }
@Override public LTLType getLTLType(){ return LTLType.AND; }
And extends LTLFormula { @Override public LTLType getLTLType(){ return LTLType.AND; } }
And extends LTLFormula { @Override public LTLType getLTLType(){ return LTLType.AND; } And(ArrayList<LTLFormula> children); }
And extends LTLFormula { @Override public LTLType getLTLType(){ return LTLType.AND; } And(ArrayList<LTLFormula> children); @Override LTLType getLTLType(); @Override LTLFormula copy(); @Override LinkedHashSet<LinkedHashSet<LTLFormula>> toSetForm(); @Override ATransition d(HashMap<LTLFormula, ATransition> D); static void main(String args[]); }
And extends LTLFormula { @Override public LTLType getLTLType(){ return LTLType.AND; } And(ArrayList<LTLFormula> children); @Override LTLType getLTLType(); @Override LTLFormula copy(); @Override LinkedHashSet<LinkedHashSet<LTLFormula>> toSetForm(); @Override ATransition d(HashMap<LTLFormula, ATransition> D); static void main(String args[]);  }