@Test(expected = IllegalArgumentException.class) public void should_throw_on_null_negated_value() throws Exception { LogicalNotSymbolicValue.create(null); }
public static SymbolicValue create(SymbolicValue negatedValue) { return new LogicalNotSymbolicValue(negatedValue); }
LogicalNotSymbolicValue implements SymbolicValue { public static SymbolicValue create(SymbolicValue negatedValue) { return new LogicalNotSymbolicValue(negatedValue); } }
LogicalNotSymbolicValue implements SymbolicValue { public static SymbolicValue create(SymbolicValue negatedValue) { return new LogicalNotSymbolicValue(negatedValue); } private  LogicalNotSymbolicValue(SymbolicValue negatedValue); }
LogicalNotSymbolicValue implements SymbolicValue { public static SymbolicValue create(SymbolicValue negatedValue) { return new LogicalNotSymbolicValue(negatedValue); } private  LogicalNotSymbolicValue(SymbolicValue negatedValue); static SymbolicValue create(SymbolicValue negatedValue); @Override Optional<ProgramState> constrainDependencies(ProgramState state, Constraint constraint); @Override Constraint baseConstraint(ProgramState state); SymbolicValue negatedValue(); @Override String toString(); }
LogicalNotSymbolicValue implements SymbolicValue { public static SymbolicValue create(SymbolicValue negatedValue) { return new LogicalNotSymbolicValue(negatedValue); } private  LogicalNotSymbolicValue(SymbolicValue negatedValue); static SymbolicValue create(SymbolicValue negatedValue); @Override Optional<ProgramState> constrainDependencies(ProgramState state, Constraint constraint); @Override Constraint baseConstraint(ProgramState state); SymbolicValue negatedValue(); @Override String toString();  }