Module dev.civl.mc
Package dev.civl.mc.kripke.IF

Class CIVLStateManager

java.lang.Object
dev.civl.gmc.seq.StateManager<State,Transition>
dev.civl.mc.kripke.IF.CIVLStateManager
public abstract class CIVLStateManager extends dev.civl.gmc.seq.StateManager<State,Transition>
StateManager extends StateManager for CIVL models.

  • Constructor Summary

    Constructors
    Constructor
    Description
    CIVLStateManager()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    abstract Map<dev.civl.sarl.IF.expr.BooleanExpression,Set<Pair<State,dev.civl.sarl.IF.expr.SymbolicExpression[]>>>
    collectedOutputs()
    Outputs collected for the model during the search.
    abstract long
    getNumStateInstances()
    Returns the number of objects of type State that have been instantiated since this JVM started.
    abstract int
    maxProcs()
     
    abstract int
    numStatesExplored()
     
    abstract String[]
    outptutNames()
    The names of output variables of the model.
    abstract void
    printUpdate()
    Print an update message at your earliest possible convenience.
    abstract void
    setUpdater(Printable updater)
    Set the field savedStates.

    Methods inherited from class dev.civl.gmc.seq.StateManager

    debug, getEnabledProcesses, getId, getLiveProcesses, getPid, getTransitions, nextState, normalize, printAllStatesLong, printAllStatesShort, printStateLong, printStateShort, printTraceStep, printTraceStepFinalState, printTransitionLong, printTransitionShort, setGetIdFunction, tryNextState

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

  • Constructor Details

    • CIVLStateManager

      public CIVLStateManager()

  • Method Details

    • getNumStateInstances

      public abstract long getNumStateInstances()
      Returns the number of objects of type State that have been instantiated since this JVM started.
      Returns:
      the number of states instantiated

    • maxProcs

      public abstract int maxProcs()
      Returns:
      The maximum number of processes in any state encountered by this state manager.

    • printUpdate

      public abstract void printUpdate()
      Print an update message at your earliest possible convenience.

    • setUpdater

      public abstract void setUpdater(Printable updater)
      Set the field savedStates.
      Parameters:
      updater - The value to be used.

    • numStatesExplored

      public abstract int numStatesExplored()
      Returns:
      the number of saved states explored by the state manager

    • collectedOutputs

      public abstract Map<dev.civl.sarl.IF.expr.BooleanExpression,Set<Pair<State,dev.civl.sarl.IF.expr.SymbolicExpression[]>>> collectedOutputs()
      Outputs collected for the model during the search.
      Returns:
      all possible outputs

    • outptutNames

      public abstract String[] outptutNames()
      The names of output variables of the model.
      Returns:
      the names of output variables