OKlibrary  0.2.1.6
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

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.

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.