OKlibrary  0.2.1.6
Auxiliary Namespace Reference

Enumerations

enum  Sat_status { unsatisfiable, satisfiable, unknown }
enum  Evaluation_status { inv_false, inv_true, not_inv }
enum  Pass_evaluation { satisfied, falsified, undefined }

Functions

template<class Graph >
bool is_self_loop (typename boost::graph_traits< Graph >::edge_descriptor e, const Graph &g)
template<class VertexDescriptor , class VertexNameMap >
void print_vertex_name (VertexDescriptor v, VertexNameMap name_map)
template<class Graph , class TransDelayMap , class VertexNameMap >
void print_trans_delay (typename boost::graph_traits< Graph >::edge_descriptor e, const Graph &g, TransDelayMap delay_map, VertexNameMap name_map)

Variables

const std::string null_variable_tag = "NULL"

Enumeration Type Documentation

Enumerator:
inv_false 
inv_true 
not_inv 

Definition at line 28 of file Auxiliary.hpp.

Enumerator:
satisfied 
falsified 
undefined 

Definition at line 31 of file Auxiliary.hpp.

Enumerator:
unsatisfiable 
satisfiable 
unknown 

Definition at line 26 of file Auxiliary.hpp.


Function Documentation

template<class Graph >
bool Auxiliary::is_self_loop ( typename boost::graph_traits< Graph >::edge_descriptor  e,
const Graph &  g 
)

Definition at line 20 of file Auxiliary.hpp.

template<class Graph , class TransDelayMap , class VertexNameMap >
void Auxiliary::print_trans_delay ( typename boost::graph_traits< Graph >::edge_descriptor  e,
const Graph &  g,
TransDelayMap  delay_map,
VertexNameMap  name_map 
)

Definition at line 35 of file Auxiliary.hpp.

template<class VertexDescriptor , class VertexNameMap >
void Auxiliary::print_vertex_name ( VertexDescriptor  v,
VertexNameMap  name_map 
)

Definition at line 29 of file Auxiliary.hpp.


Variable Documentation

const std::string Auxiliary::null_variable_tag = "NULL"

Definition at line 33 of file Auxiliary.hpp.