Class Choicepoint.State

  • Enclosing class:
    Choicepoint

    public static final class Choicepoint.State
    extends java.lang.Object
    The state of this choicepoint
    • Method Detail

      • updateState

        public void updateState​(RuleEvaluation evaluation)
      • backtrack

        public void backtrack​(RuleEvaluation e)
        Backtrack to the evaluation state at the point where this choicepoint were instantiated
      • backtrackPosition

        public void backtrackPosition​(RuleEvaluation e)
      • getPosition

        public int getPosition()
      • getReferencedMatchCount

        public int getReferencedMatchCount()
      • getNonreferencedMatchCount

        public int getNonreferencedMatchCount()