Clausesets::Cls Class Reference

#include <ClauseSet.hpp>

List of all members.

Public Types
typedef clauseset_t::const_iterator	iterator
typedef iterator	const_iterator
Public Member Functions
	Cls ()
	Cls (const clauseset_t &)
Cls &	read (Var_Set &)
std::set< Var >	var () const
Clauses::Litset	lit () const
bool	is_empty () const
bool	empty_clause () const
Clauses::size_type	n () const
Clauses::size_type	c () const
Clauses::size_type	c (Clauses::size_type) const
unsigned long int	l () const
Clauses::size_type	pmin () const
Clauses::size_type	pmax () const
Cls &	add (const clause_type &)
Cls &	remove (const clause_type &)
bool	operator== (const Cls &) const
const Cls	operator+ (const Cls &) const
const Cls	operator- (const Cls &) const
const Cls	operator& (const Cls &) const
const clauseset_t &	clauseset () const

---

Detailed Description

Definition at line 32 of file ClauseSet.hpp.

---

Member Typedef Documentation

typedef iterator Clausesets::Cls::const_iterator

Definition at line 38 of file ClauseSet.hpp.

typedef clauseset_t::const_iterator Clausesets::Cls::iterator

Definition at line 37 of file ClauseSet.hpp.

---

Constructor & Destructor Documentation

Clausesets::Cls::Cls

(

)

[inline]

Definition at line 39 of file ClauseSet.hpp.

Clausesets::Cls::Cls

(

const clauseset_t &

)

---

Member Function Documentation

Cls & Clausesets::Cls::add

(

const clause_type &

C

)

[inline]

Definition at line 135 of file ClauseSet.hpp.

Referenced by PartAssignments::Pass::operator*().

Clauses::size_type Clausesets::Cls::c

(

)

const [inline]

Definition at line 103 of file ClauseSet.hpp.

Referenced by main().

Clauses::size_type Clausesets::Cls::c

(

Clauses::size_type

k

)

const [inline]

Definition at line 113 of file ClauseSet.hpp.

References Clausesets::has_length().

const clauseset_t& Clausesets::Cls::clauseset

(

)

const [inline]

Definition at line 61 of file ClauseSet.hpp.

Referenced by PartAssignments::Pass::operator*().

bool Clausesets::Cls::empty_clause

(

)

const [inline]

Definition at line 97 of file ClauseSet.hpp.

Referenced by DLL_Algorithms::DLL_1().

bool Clausesets::Cls::is_empty

(

)

const [inline]

Definition at line 96 of file ClauseSet.hpp.

Referenced by DLL_Algorithms::DLL_1().

unsigned long int Clausesets::Cls::l

(

)

const [inline]

Definition at line 120 of file ClauseSet.hpp.

References Clausesets::length_plus().

Referenced by main().

Clauses::Litset Clausesets::Cls::lit

(

)

const [inline]

Definition at line 92 of file ClauseSet.hpp.

References Clausesets::acc_plus().

Clauses::size_type Clausesets::Cls::n

(

)

const [inline]

Definition at line 102 of file ClauseSet.hpp.

References OKlib::Literals::var().

Referenced by main().

const Cls Clausesets::Cls::operator&

(

const Cls &

F

)

const [inline]

Definition at line 156 of file ClauseSet.hpp.

const Cls Clausesets::Cls::operator+

(

const Cls &

F

)

const [inline]

Definition at line 144 of file ClauseSet.hpp.

const Cls Clausesets::Cls::operator-

(

const Cls &

F

)

const [inline]

Definition at line 150 of file ClauseSet.hpp.

bool Clausesets::Cls::operator==

(

const Cls &

F

)

const [inline]

Definition at line 143 of file ClauseSet.hpp.

Clauses::size_type Clausesets::Cls::pmax

(

)

const [inline]

Definition at line 129 of file ClauseSet.hpp.

References maxl.

Referenced by main().

Clauses::size_type Clausesets::Cls::pmin

(

)

const [inline]

Definition at line 123 of file ClauseSet.hpp.

References Clauses::max_length.

Referenced by main().

Cls & Clausesets::Cls::read

(

Var_Set &

V

)

[inline]

Definition at line 66 of file ClauseSet.hpp.

References Variables::Var_Set::get_var(), and s.

Referenced by main().

Cls & Clausesets::Cls::remove

(

const clause_type &

C

)

[inline]

Definition at line 139 of file ClauseSet.hpp.

std::set< Var > Clausesets::Cls::var

(

)

const [inline]

Definition at line 95 of file ClauseSet.hpp.

Referenced by DLL_Algorithms::DLL_1().

---

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

• Satisfiability/ProblemInstances/ClauseSets/ClauseSet.hpp