smtrat::execution Namespace Reference

Data Structures
struct	Assertion
struct	SoftAssertion
struct	Objective
class	ExecutionState

Enumerations
enum	Mode { START =0 , ASSERT =1 , SAT =2 , UNSAT =3 }

Enumeration Type Documentation

Mode

enum smtrat::execution::Mode

Enumerator
START
ASSERT
SAT
UNSAT

Definition at line 7 of file ExecutionState.h.