cpg-analysis/de.fraunhofer.aisec.cpg.analysis.fsm/DFAOrderEvaluator/dfa

dfa

val dfa: DFA