---

VirtualMachine Member List

This is the complete list of members for VirtualMachine, including all inherited members.

• activateGC() (defined in VirtualMachine) [inline, static]
• args [private]
• Backtrack() (defined in VirtualMachine) [inline]
• Backtrack() [inline]
• backtrackStack [private]
• br (defined in VirtualMachine) [private, static]
• BuchiBacktrack() (defined in VirtualMachine) [inline]
• BuchiEvaluate(Method method) (defined in VirtualMachine) [inline]
• BuchiEvaluate(Method method, Object[] arg) (defined in VirtualMachine) [inline]
• BuchiForward() (defined in VirtualMachine) [inline]
• BuchiGet() (defined in VirtualMachine) [inline]
• BuchiInitSch() (defined in VirtualMachine) [inline]
• BuchiObservable(String observable) (defined in VirtualMachine) [inline]
• BuchiSetState(int buchi_state) (defined in VirtualMachine) [inline]
• buildPath() (defined in VirtualMachine) [inline]
• buildPath() [inline]
• CheckInvariant(iProperty p) (defined in VirtualMachine) [inline]
• classname [private]
• ErrorBackward() (defined in VirtualMachine) [inline]
• ErrorBackward() [inline]
• ErrorForward() (defined in VirtualMachine) [inline]
• ErrorForward() [inline]
• ErrorInit() (defined in VirtualMachine) [inline]
• ErrorInit() [inline]
• errorPath [private]
• ErrorPathLength() (defined in VirtualMachine) [inline]
• ErrorPathLength() [inline]
• executePath(Path p) (defined in VirtualMachine) [inline]
• executePath(Path p, Object state) (defined in VirtualMachine) [inline]
• executingPath [private]
• fieldsPool (defined in VirtualMachine) [static]
• first_max_stack_reached (defined in VirtualMachine) [private]
• Forward() (defined in VirtualMachine) [inline]
• Forward() [inline]
• framePool (defined in VirtualMachine) [static]
• gc_needed (defined in VirtualMachine) [private, static]
• getClassReference(String name) (defined in VirtualMachine) [inline]
• getErrorMessage() (defined in VirtualMachine) [inline]
• getErrorTrail() (defined in VirtualMachine) [inline]
• getErrorTrail() [inline]
• getErrorTrail1() (defined in VirtualMachine) [inline]
• getErrorTrail1() [inline]
• getErrorTrail_from_file() (defined in VirtualMachine) [inline]
• getErrorTrail_from_file() [inline]
• getErrorTrail_to_file() (defined in VirtualMachine) [inline]
• getErrorTrail_to_file() (defined in VirtualMachine) [inline]
• getKernelState() (defined in VirtualMachine) [inline]
• getPath(byte[] p) (defined in VirtualMachine) [inline]
• getReference(String name) (defined in VirtualMachine) [inline]
• getSafeMoves() (defined in VirtualMachine) [inline]
• getSS() [inline, static]
• getState() (defined in VirtualMachine) [inline]
• getStatus() (defined in VirtualMachine) [inline, static]
• getSystemState() (defined in VirtualMachine) [inline]
• getSystemState() [inline]
• init(String[] arguments) [inline]
• initial_state (defined in VirtualMachine) [private, static]
• initialState [private]
• isDeadlocked() (defined in VirtualMachine) [inline]
• isTerminated() (defined in VirtualMachine) [inline]
• kernel_state (defined in VirtualMachine) [private]
• mainClass (defined in VirtualMachine) [private]
• matching_states (defined in VirtualMachine) [private]
• maxDepthReached [private]
• nextThreadToExecute() (defined in VirtualMachine) [inline]
• nextThreadToExecute() [inline]
• objectInfoPool (defined in VirtualMachine) [static]
• observableInvokes [static]
• observableLabels [static]
• observablePositions [static]
• observableReturns [static]
• options [static]
• partitionPath [private, static]
• path [private]
• popState() [inline]
• popSystem() (defined in VirtualMachine) [inline]
• pos_in_errorPath (defined in VirtualMachine) [private]
• posInErrorPath [private]
• previousThreadToExecute() (defined in VirtualMachine) [inline]
• previousThreadToExecute() [inline]
• printStackTrace() (defined in VirtualMachine) [inline]
• printStackTrace() [inline]
• pushInitialSystemState() (defined in VirtualMachine) [inline]
• pushState() [inline]
• pushSystem() [inline]
• pushSystemState() (defined in VirtualMachine) [inline]
• reinit(String classname) (defined in VirtualMachine) [inline]
• reinit() [inline]
• removeState() (defined in VirtualMachine) [inline]
• setSS(SystemState ss) [inline, private, static]
• setState(Object state) [inline]
• ShowErrorTrail() (defined in VirtualMachine) [inline]
• ShowErrorTrail(Path ePath) (defined in VirtualMachine) [inline]
• ShowErrorTrail() [inline]
• ShowErrorTrail(Path path) [inline]
• simForward() (defined in VirtualMachine) [inline]
• SimulateErrorTrail(Path ePath) (defined in VirtualMachine) [inline]
• ss [private]
• stack (defined in VirtualMachine) [private]
• stateBacktrackStack [private]
• stateStoringStack [private]
• system_state (defined in VirtualMachine) [private]
• threadPool (defined in VirtualMachine) [static]
• VirtualMachine(String classname) (defined in VirtualMachine) [inline]
• VirtualMachine() [inline]
• xForward(iScheduler sch) (defined in VirtualMachine) [inline]
• xss [private, static]

---