cpg-analysis/de.fraunhofer.aisec.cpg.analysis.fsm/DFA/deepCopy

deepCopy

open override fun deepCopy(): DFA

Creates a deep copy the DFA to enable multiple independent branches of execution.