@Test public void testToStringSimple() { assertEquals("E(x,y)", relation.toString()); assertEquals("x = y", equalityRelation.toString()); assertEquals("E(x,y) ∧ E(x,y)", (new FirstOrderAnd(relation, relation)).toString()); assertEquals("E(x,y) ∨ E(x,y)", (new FirstOrderOr(relation, relation)).toString()); assertEquals("¬E(x,y)", (new FirstOrderNot(relation)).toString()); assertEquals("¬x = y", (new FirstOrderNot(equalityRelation)).toString()); }
@Override public String toString() { return toString(FormulaPosition.Quantifier, FormulaEndPosition.AT_END); }
FirstOrderFormula { @Override public String toString() { return toString(FormulaPosition.Quantifier, FormulaEndPosition.AT_END); } }
FirstOrderFormula { @Override public String toString() { return toString(FormulaPosition.Quantifier, FormulaEndPosition.AT_END); }  }
FirstOrderFormula { @Override public String toString() { return toString(FormulaPosition.Quantifier, FormulaEndPosition.AT_END); }  abstract Subformula evaluateProver(Structure s,
        HashMap<String, Vertex> varassign, ProgressHandler onprogress); abstract GameGraphResult constructGameGraph(Structure s,
        HashMap<String, Vertex> varassign, FiniteGame game,
        Vector2D coor); abstract Set<String> variables(); abstract String substitute(HashMap<String, String> replace); abstract boolean evaluate(Structure s,
        HashMap<String, Vertex> varassign, ProgressHandler onprogress); static String variableAssignmentToString(Map<String, Vertex> assignment); @Override String toString(); abstract String toString(FormulaPosition pos, FormulaEndPosition endPos); }
FirstOrderFormula { @Override public String toString() { return toString(FormulaPosition.Quantifier, FormulaEndPosition.AT_END); }  abstract Subformula evaluateProver(Structure s,
        HashMap<String, Vertex> varassign, ProgressHandler onprogress); abstract GameGraphResult constructGameGraph(Structure s,
        HashMap<String, Vertex> varassign, FiniteGame game,
        Vector2D coor); abstract Set<String> variables(); abstract String substitute(HashMap<String, String> replace); abstract boolean evaluate(Structure s,
        HashMap<String, Vertex> varassign, ProgressHandler onprogress); static String variableAssignmentToString(Map<String, Vertex> assignment); @Override String toString(); abstract String toString(FormulaPosition pos, FormulaEndPosition endPos);  }