Enum Class ConstraintModelSynthesizer.NavigationKind

java.lang.Object
java.lang.Enum<ConstraintModelSynthesizer.NavigationKind>
ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.NavigationKind
All Implemented Interfaces:
Serializable, Comparable<ConstraintModelSynthesizer.NavigationKind>, Constable
Enclosing class:
ConstraintModelSynthesizer

public static enum ConstraintModelSynthesizer.NavigationKind extends Enum<ConstraintModelSynthesizer.NavigationKind>