@Test public void relationWhenTrue() { assertThat(relationalValue.relationWhenTrue()).isEqualTo(new Relation(Kind.LESS_THAN, sv1, sv2)); }
public Relation relationWhenTrue() { return relationWhenTrue; }
RelationalSymbolicValue implements SymbolicValue { public Relation relationWhenTrue() { return relationWhenTrue; } }
RelationalSymbolicValue implements SymbolicValue { public Relation relationWhenTrue() { return relationWhenTrue; } RelationalSymbolicValue(Kind kind, SymbolicValue leftOperand, SymbolicValue rightOperand); }
RelationalSymbolicValue implements SymbolicValue { public Relation relationWhenTrue() { return relationWhenTrue; } RelationalSymbolicValue(Kind kind, SymbolicValue leftOperand, SymbolicValue rightOperand); static SymbolicValue create(Kind kind, SymbolicValue leftOperand, SymbolicValue rightOperand); @Override Optional<ProgramState> constrainDependencies(ProgramState state, Constraint constraint); @Override Constraint baseConstraint(ProgramState state); Relation relationWhenTrue(); @Override String toString(); }
RelationalSymbolicValue implements SymbolicValue { public Relation relationWhenTrue() { return relationWhenTrue; } RelationalSymbolicValue(Kind kind, SymbolicValue leftOperand, SymbolicValue rightOperand); static SymbolicValue create(Kind kind, SymbolicValue leftOperand, SymbolicValue rightOperand); @Override Optional<ProgramState> constrainDependencies(ProgramState state, Constraint constraint); @Override Constraint baseConstraint(ProgramState state); Relation relationWhenTrue(); @Override String toString();  }