cuba Namespace Reference

Classes
class	base_cuba
class	explicit_cuba
	explicit_cuba: An explicit version for context-unbounded analysis. More...
class	symbolic_cuba
	symbolic_cuba: A symbolic version for context-unbounded analysis. More...

Typedefs
using	antichain = deque< explicit_state_tid >
	To store unordering explicit states.

Detailed Description

base_cuba The implementation of base_cuba class

Date

Jun 13, 2017

Author

TODO

Explicit CUBA

Date

: Sep 28, 2016

Author

: <anonymous>

cuba.cc

Date

Aug 28, 2016

Author

TODO