@Test public void testType() { assertEquals(LTLType.A, a.getLTLType()); assertEquals(LTLType.A, b.getLTLType()); }
@Override public LTLType getLTLType(){ return LTLType.A; }
Atom extends LTLFormula { @Override public LTLType getLTLType(){ return LTLType.A; } }
Atom extends LTLFormula { @Override public LTLType getLTLType(){ return LTLType.A; } private  Atom(); }
Atom extends LTLFormula { @Override public LTLType getLTLType(){ return LTLType.A; } private  Atom(); static Atom get(String name); @Override LTLType getLTLType(); @Override boolean equals(Object o); @Override int compareTo(Object o); @Override LTLFormula copy(); @Override String toString(); @Override void subFormulae(LinkedHashSet acc); @Override ATransition d(HashMap<LTLFormula, ATransition> D); }
Atom extends LTLFormula { @Override public LTLType getLTLType(){ return LTLType.A; } private  Atom(); static Atom get(String name); @Override LTLType getLTLType(); @Override boolean equals(Object o); @Override int compareTo(Object o); @Override LTLFormula copy(); @Override String toString(); @Override void subFormulae(LinkedHashSet acc); @Override ATransition d(HashMap<LTLFormula, ATransition> D);  }