literalt Class Reference

#include <literal.h>

Public Member Functions
	literalt ()=default
	literalt (unsigned v, bool sign)
class literalt	negation () const
class literalt	cond_negation (bool cond) const
unsigned	var_no () const
bool	sign () const
void	set (unsigned _l)
void	set (unsigned v, bool sign)
unsigned	get () const
void	invert ()
void	cond_invert (bool a)
void	clear ()
void	swap (literalt &x)
void	make_true ()
void	make_false ()
bool	is_true () const
bool	is_false () const
bool	is_constant () const

Static Public Member Functions
static unsigned	const_var_no ()

Protected Attributes
uint64_t	l

Friends
bool	operator== (const literalt a, const literalt b)
bool	operator!= (const literalt a, const literalt b)
bool	operator< (const literalt a, const literalt b)
literalt	const_literal (bool value)
literalt	neg (literalt a)
literalt	pos (literalt a)

Constructor & Destructor Documentation

literalt() [1/2]

literalt::literalt ( )

default

literalt() [2/2]

literalt::literalt ( unsigned v, bool sign )

inline

Member Function Documentation

clear()

void literalt::clear ( )

inline

cond_invert()

void literalt::cond_invert ( bool a )

inline

cond_negation()

class literalt literalt::cond_negation ( bool cond ) const

inline

const_var_no()

unsigned literalt::const_var_no ( )

inlinestatic

get()

unsigned literalt::get ( ) const

inline

invert()

void literalt::invert ( )

inline

is_constant()

bool literalt::is_constant ( ) const

inline

is_false()

bool literalt::is_false ( ) const

inline

is_true()

bool literalt::is_true ( ) const

inline

make_false()

void literalt::make_false ( )

inline

make_true()

void literalt::make_true ( )

inline

negation()

class literalt literalt::negation ( ) const

inline

set() [1/2]

void literalt::set ( unsigned _l )

inline

set() [2/2]

void literalt::set ( unsigned v, bool sign )

inline

sign()

bool literalt::sign ( ) const

inline

swap()

void literalt::swap ( literalt & x )

inline

var_no()

unsigned literalt::var_no ( ) const

inline

Friends And Related Symbol Documentation

const_literal

literalt const_literal ( bool value )

friend

neg

literalt neg ( literalt a )

friend

operator!=

bool operator!= ( const literalt a, const literalt b )

friend

operator<

bool operator< ( const literalt a, const literalt b )

friend

operator==

bool operator== ( const literalt a, const literalt b )

friend

pos

literalt pos ( literalt a )

friend

Member Data Documentation

l

uint64_t literalt::l

protected

---

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

• src/solvers/prop/literal.h