Constant Field Values

Contents

net.automatalib.*

  • net.automatalib.modelchecking.AbstractLasso<I,​D> 
    Modifier and Type Constant Field Value
    public static final String NO_LASSO "Automaton is not lasso shaped"
  • net.automatalib.util.graph.Graphs 
    Modifier and Type Constant Field Value
    public static final float INVALID_DISTANCE -1f/0f
  • net.automatalib.util.graph.traversal.GraphTraversal 
    Modifier and Type Constant Field Value
    public static final int NO_LIMIT -1
  • net.automatalib.util.ts.traversal.TSTraversal 
    Modifier and Type Constant Field Value
    public static final int NO_LIMIT -1