// This file is automatically generated by DemeterJ.

UniversalVisitor {
  start {{ }}
  before { 
    Main,
    MAX_CSP_Products, -> MAX_CSP_Products,max_csp_list,MAX_CSP_List,
    MAX_CSP, -> MAX_CSP,transitionrules,TransitionRules, -> MAX_CSP,transitionmanager,TransitionManager,
    TransitionRules, -> TransitionRules,decide,Decide, -> TransitionRules,up,UP, -> TransitionRules,reduce,Reduce, -> TransitionRules,ssr,SSR, -> TransitionRules,restart,Restart, -> TransitionRules,finale,Finale, -> TransitionRules,update,Update,
    Decide, -> Decide,order,Order,
    Order,
    ValueOrder, -> ValueOrder,kind,VOKind,
    VOKind,
    VariableOrder, -> VariableOrder,lookaheadpolynomial,LookAheadPolynomial,
    LookAheadPolynomial,
    Random,
    UP, -> UP,implicationgraph,ImplicationGraph,
    SSR, -> SSR,implicationgraph,ImplicationGraph,
    ImplicationGraph,
    Reduce,
    Restart,
    Finale,
    Update,
    TransitionManager,
    MAX_CSP_List, -> MAX_CSP_List,first,Nonempty_MAX_CSP_List,
    Nonempty_MAX_CSP_List, -> Nonempty_MAX_CSP_List,it,MAX_CSP, -> Nonempty_MAX_CSP_List,next,Nonempty_MAX_CSP_List
  } {{ }}
  after { 
    Main,
    MAX_CSP_Products, -> MAX_CSP_Products,max_csp_list,MAX_CSP_List,
    MAX_CSP, -> MAX_CSP,transitionrules,TransitionRules, -> MAX_CSP,transitionmanager,TransitionManager,
    TransitionRules, -> TransitionRules,decide,Decide, -> TransitionRules,up,UP, -> TransitionRules,reduce,Reduce, -> TransitionRules,ssr,SSR, -> TransitionRules,restart,Restart, -> TransitionRules,finale,Finale, -> TransitionRules,update,Update,
    Decide, -> Decide,order,Order,
    Order,
    ValueOrder, -> ValueOrder,kind,VOKind,
    VOKind,
    VariableOrder, -> VariableOrder,lookaheadpolynomial,LookAheadPolynomial,
    LookAheadPolynomial,
    Random,
    UP, -> UP,implicationgraph,ImplicationGraph,
    SSR, -> SSR,implicationgraph,ImplicationGraph,
    ImplicationGraph,
    Reduce,
    Restart,
    Finale,
    Update,
    TransitionManager,
    MAX_CSP_List, -> MAX_CSP_List,first,Nonempty_MAX_CSP_List,
    Nonempty_MAX_CSP_List, -> Nonempty_MAX_CSP_List,it,MAX_CSP, -> Nonempty_MAX_CSP_List,next,Nonempty_MAX_CSP_List
  } {{ }}
  finish {{ }}
}