ezSATbit Struct Reference

#include <ezsat.h>

Collaboration diagram for ezSATbit:

Public Member Functions
	ezSATbit (ezSAT &sat, ezSAT::_V a)
ezSATbit	operator~ ()
ezSATbit	operator& (const ezSATbit &other)
ezSATbit	operator| (const ezSATbit &other)
ezSATbit	operator^ (const ezSATbit &other)
ezSATbit	operator== (const ezSATbit &other)
ezSATbit	operator!= (const ezSATbit &other)
	operator int () const
	operator ezSAT::_V () const
	operator std::vector< int > () const

Data Fields
ezSAT &	sat
int	id

Detailed Description

Definition at line 306 of file ezsat.h.

Constructor & Destructor Documentation

ezSATbit::ezSATbit ( ezSAT &  sat, ezSAT::_V  a  )

inline

Definition at line 311 of file ezsat.h.

: sat(sat), id(sat.VAR(a)) { }

Member Function Documentation

ezSATbit::operator ezSAT::_V ( ) const

inline

Definition at line 321 of file ezsat.h.

{ return ezSAT::_V(id); }

ezSATbit::operator int ( ) const

inline

Definition at line 320 of file ezsat.h.

{ return id; }

Here is the call graph for this function:

ezSATbit::operator std::vector< int > ( ) const

inline

Definition at line 322 of file ezsat.h.

{ return std::vector<int>(1, id); }

Here is the call graph for this function:

ezSATbit ezSATbit::operator!= ( const ezSATbit &  other )

inline

Definition at line 318 of file ezsat.h.

{ return ezSATbit(sat, sat.NOT(sat.IFF(id, other.id))); }

ezSATbit ezSATbit::operator& ( const ezSATbit &  other )

inline

Definition at line 314 of file ezsat.h.

{ return ezSATbit(sat, sat.AND(id, other.id)); }

ezSATbit ezSATbit::operator== ( const ezSATbit &  other )

inline

Definition at line 317 of file ezsat.h.

{ return ezSATbit(sat, sat.IFF(id, other.id)); }

ezSATbit ezSATbit::operator^ ( const ezSATbit &  other )

inline

Definition at line 316 of file ezsat.h.

{ return ezSATbit(sat, sat.XOR(id, other.id)); }

ezSATbit ezSATbit::operator| ( const ezSATbit &  other )

inline

Definition at line 315 of file ezsat.h.

{ return ezSATbit(sat, sat.OR(id, other.id)); }

ezSATbit ezSATbit::operator~ ( )

inline

Definition at line 313 of file ezsat.h.

{ return ezSATbit(sat, sat.NOT(id)); }

Field Documentation

int ezSATbit::id

Definition at line 309 of file ezsat.h.

ezSAT& ezSATbit::sat

Definition at line 308 of file ezsat.h.

---

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

• ezsat.h