cpg
Toggle table of contents
main
jvm
Platform filter
jvm
Switch theme
Search in API
cpg
cpg-analysis
/
de.fraunhofer.aisec.cpg.analysis.fsm
/
State
/
name
name
var
name
:
Int
Must only be changed through
FSM.changeStateProperty
as soon as they are part of a
FSM
.