OKlib::Satisfiability::Values Namespace Reference

The part of the OKlibrary concerned with values (of variables) More...

Namespaces
namespace	traits
Enumerations
enum	Assignment_status { val0 = 0, val1 = 1, unassigned = 2 }
	Status of a boolean variable (false, true, open) More...
enum	Sat_status { falsified = 0, satisfied = 1, open = 2 }
Functions
Assignment_status	operator- (const Assignment_status a)

---

Detailed Description

The part of the OKlibrary concerned with values (of variables)

Alias "Val".

---

Enumeration Type Documentation

enum OKlib::Satisfiability::Values::Assignment_status

Status of a boolean variable (false, true, open)

For a status-value s by -s we denote negation.

Enumerator:

val0
val1
unassigned

Definition at line 40 of file StatusTypes.hpp.

enum OKlib::Satisfiability::Values::Sat_status

Enumerator:

falsified
satisfied
open

Definition at line 60 of file StatusTypes.hpp.

---

Function Documentation

Assignment_status OKlib::Satisfiability::Values::operator-

(

const Assignment_status

a

)

[inline]

Definition at line 52 of file StatusTypes.hpp.

References unassigned, val0, and val1.