public interface ChoicePoint
java.util.Iterator<CPBranch>
getBranches(RuleApp oldApp)
java.util.Iterator<CPBranch> getBranches(RuleApp oldApp)
oldApp
ChoicePoint
Copyright © 2003-2019 The KeY-Project.