PartAssignments::Pass Class Reference

#include <PartAssign.hpp>

List of all members.

Public Types
typedef Variables::Var	var_type
typedef Literals::Lit	literal_type
typedef map_type::size_type	size_type
typedef std::set< var_type >	varset_type
typedef Clauses::Cl	clause_type
typedef Clausesets::Cls	clauseset_type
Public Member Functions
	Pass ()
	Pass (const literal_type x)
	Pass (const clause_type &C)
bool	empty () const
bool	in_domain (const var_type v) const
size_type	size () const
varset_type	var () const
bool	val (const var_type v) const
clause_type	clause () const
	conversion to clause
clauseset_type	operator* (const clauseset_type &F) const
	applying the partial assignment to a clause-set
Pass &	composition_left (const Pass &phi)
	computing (phi composition this)
Pass &	restrict (const varset_type &V)
	remove assignments for variables in V
Friends
bool	operator== (const Pass &lhs, const Pass &rhs)

---

Detailed Description

Definition at line 31 of file PartAssign.hpp.

---

Member Typedef Documentation

typedef Clauses::Cl PartAssignments::Pass::clause_type

Definition at line 42 of file PartAssign.hpp.

typedef Clausesets::Cls PartAssignments::Pass::clauseset_type

Definition at line 43 of file PartAssign.hpp.

typedef Literals::Lit PartAssignments::Pass::literal_type

Definition at line 39 of file PartAssign.hpp.

typedef map_type::size_type PartAssignments::Pass::size_type

Definition at line 40 of file PartAssign.hpp.

typedef Variables::Var PartAssignments::Pass::var_type

Definition at line 33 of file PartAssign.hpp.

typedef std::set<var_type> PartAssignments::Pass::varset_type

Definition at line 41 of file PartAssign.hpp.

---

Constructor & Destructor Documentation

PartAssignments::Pass::Pass

(

)

[inline]

Definition at line 45 of file PartAssign.hpp.

PartAssignments::Pass::Pass

(

const literal_type

x

)

[inline]

Definition at line 46 of file PartAssign.hpp.

References Literals::Lit::val(), and Literals::Lit::var().

PartAssignments::Pass::Pass

(

const clause_type &

C

)

[inline]

Definition at line 47 of file PartAssign.hpp.

---

Member Function Documentation

clause_type PartAssignments::Pass::clause

(

)

const [inline]

conversion to clause

Definition at line 75 of file PartAssign.hpp.

Referenced by operator*().

Pass& PartAssignments::Pass::composition_left

(

const Pass &

phi

)

[inline]

computing (phi composition this)

Definition at line 93 of file PartAssign.hpp.

bool PartAssignments::Pass::empty

(

)

const [inline]

Definition at line 57 of file PartAssign.hpp.

bool PartAssignments::Pass::in_domain

(

const var_type

v

)

const [inline]

Definition at line 58 of file PartAssign.hpp.

clauseset_type PartAssignments::Pass::operator*

(

const clauseset_type &

F

)

const [inline]

applying the partial assignment to a clause-set

Definition at line 83 of file PartAssign.hpp.

References Clausesets::Cls::add(), clause(), and Clausesets::Cls::clauseset().

Pass& PartAssignments::Pass::restrict

(

const varset_type &

V

)

[inline]

remove assignments for variables in V

Definition at line 98 of file PartAssign.hpp.

size_type PartAssignments::Pass::size

(

)

const [inline]

Definition at line 60 of file PartAssign.hpp.

bool PartAssignments::Pass::val

(

const var_type

v

)

const [inline]

Definition at line 68 of file PartAssign.hpp.

varset_type PartAssignments::Pass::var

(

)

const [inline]

Definition at line 61 of file PartAssign.hpp.

---

Friends And Related Function Documentation

bool operator==	(	const Pass &	lhs,
		const Pass &	rhs
	)		[friend]

Definition at line 54 of file PartAssign.hpp.

---

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

• Satisfiability/Assignments/PartialAssignments/PartAssign.hpp