HVariableState::HybridConstraint Struct Reference

Fills the blocks with the predicates in the domain blocks. More...

#include <hvariablestate.h>

List of all members.

Public Member Functions
	HybridConstraint ()
Public Attributes
int	contClauseIdx_
double	vThreshold_
bool	bSatisfiedLast_
int	unSatType_

---

Detailed Description

Fills the blocks with the predicates in the domain blocks.

Definition at line 3204 of file hvariablestate.h.

---

The documentation for this struct was generated from the following file:

• src/logic/hvariablestate.h

---