@Test public void testBottom() { ModalLogicFormula formula = new ModalLogicBottom(); HashSet<World> expResult = new HashSet<>(); assertEquals(expResult, formula.interpretation(structure)); }
public abstract HashSet<World> interpretation(KripkeStructure structure);
ModalLogicFormula { public abstract HashSet<World> interpretation(KripkeStructure structure); }
ModalLogicFormula { public abstract HashSet<World> interpretation(KripkeStructure structure); ModalLogicFormula(); }
ModalLogicFormula { public abstract HashSet<World> interpretation(KripkeStructure structure); ModalLogicFormula(); abstract HashSet<World> interpretation(KripkeStructure structure); @Override String toString(); abstract String toString(FormulaPosition pos); }
ModalLogicFormula { public abstract HashSet<World> interpretation(KripkeStructure structure); ModalLogicFormula(); abstract HashSet<World> interpretation(KripkeStructure structure); @Override String toString(); abstract String toString(FormulaPosition pos);  }