public class LogicalNotSymbolicValue
extends Object
implements SymbolicValue

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`Constraint`	`baseConstraint(ProgramState state)`
`Optional<ProgramState>`	`constrainDependencies(ProgramState state, Constraint constraint)`
`static SymbolicValue`	`create(SymbolicValue negatedValue)`
`SymbolicValue`	`negatedValue()`
`String`	`toString()`

public static SymbolicValue create(SymbolicValue negatedValue)

public Optional<ProgramState> constrainDependencies(ProgramState state,
                                                    Constraint constraint)

Class LogicalNotSymbolicValue