public class UnaryNumericProgramPoint
extends Object
implements ProgramPoint

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`Optional<ProgramState>`	`execute(ProgramState state)`
`static boolean`	`originatesFrom(Tree element)`

public UnaryNumericProgramPoint(Tree element,
                                SymbolicExecution execution)

public Optional<ProgramState> execute(ProgramState state)

public static boolean originatesFrom(Tree element)

Class UnaryNumericProgramPoint