@Test public void test_toString() { assertThat(new Relation(Kind.LESS_THAN, SV1, SV2).toString()).isEqualTo("SV_1 < SV_2"); }
@Override public String toString() { return leftOperand + " " + operator.operatorString() + " " + rightOperand; }
Relation { @Override public String toString() { return leftOperand + " " + operator.operatorString() + " " + rightOperand; } }
Relation { @Override public String toString() { return leftOperand + " " + operator.operatorString() + " " + rightOperand; } Relation(Kind kind, SymbolicValue leftOperand, SymbolicValue rightOperand); private  Relation(Operator operator, SymbolicValue leftOperand, SymbolicValue rightOperand); }
Relation { @Override public String toString() { return leftOperand + " " + operator.operatorString() + " " + rightOperand; } Relation(Kind kind, SymbolicValue leftOperand, SymbolicValue rightOperand); private  Relation(Operator operator, SymbolicValue leftOperand, SymbolicValue rightOperand); Relation not(); boolean isCompatibleWith(Relation other); Set<SymbolicValue> operands(); SymbolicValue leftOperand(); SymbolicValue rightOperand(); Operator operator(); Optional<Boolean> applyNumericComparison(ProgramState state); @Override boolean equals(Object obj); @Override int hashCode(); @Override String toString(); }
Relation { @Override public String toString() { return leftOperand + " " + operator.operatorString() + " " + rightOperand; } Relation(Kind kind, SymbolicValue leftOperand, SymbolicValue rightOperand); private  Relation(Operator operator, SymbolicValue leftOperand, SymbolicValue rightOperand); Relation not(); boolean isCompatibleWith(Relation other); Set<SymbolicValue> operands(); SymbolicValue leftOperand(); SymbolicValue rightOperand(); Operator operator(); Optional<Boolean> applyNumericComparison(ProgramState state); @Override boolean equals(Object obj); @Override int hashCode(); @Override String toString();  }