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

enum Auxiliary::Evaluation_status

Enumerator:

inv_false
inv_true
not_inv

Definition at line 28 of file Auxiliary.hpp.

enum Auxiliary::Pass_evaluation

Enumerator:

satisfied
falsified
undefined

Definition at line 31 of file Auxiliary.hpp.

enum Auxiliary::Sat_status

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.