Uses of Interface
edu.ksu.cis.projects.bogor.module.IStoreStateResult

Packages that use IStoreStateResult

edu.ksu.cis.projects.bogor.module

Provide a generic framework for dataflow analysis on BIR transition systems.

Uses of IStoreStateResult in edu.ksu.cis.projects.bogor.module

Methods in edu.ksu.cis.projects.bogor.module that return IStoreStateResult

IStoreStateResult	DefaultCounterExampleWriter.DummyStateManagerProxy.hasState(IState s) [Document Pending]
IStoreStateResult	DefaultStateManager.hasState(IState s)
IStoreStateResult	IStateManager.hasState(IState s)
IStoreStateResult	DefaultCounterExampleWriter.DummyStateManagerProxy.storeState(IState s) [Document Pending]
IStoreStateResult	DefaultStateManager.storeState(IState s)
IStoreStateResult	IStateManager.storeState(IState s)