ezSATvec Struct Reference

#include <ezsat.h>

Collaboration diagram for ezSATvec:

Public Member Functions
	ezSATvec (ezSAT &sat, const std::vector< int > &vec)
ezSATvec	operator~ ()
ezSATvec	operator- ()
ezSATvec	operator& (const ezSATvec &other)
ezSATvec	operator| (const ezSATvec &other)
ezSATvec	operator^ (const ezSATvec &other)
ezSATvec	operator+ (const ezSATvec &other)
ezSATvec	operator- (const ezSATvec &other)
ezSATbit	operator< (const ezSATvec &other)
ezSATbit	operator<= (const ezSATvec &other)
ezSATbit	operator== (const ezSATvec &other)
ezSATbit	operator!= (const ezSATvec &other)
ezSATbit	operator>= (const ezSATvec &other)
ezSATbit	operator> (const ezSATvec &other)
ezSATvec	operator<< (int shift)
ezSATvec	operator>> (int shift)
	operator std::vector< int > () const

Data Fields
ezSAT &	sat
std::vector< int >	vec

Detailed Description

Definition at line 325 of file ezsat.h.

Constructor & Destructor Documentation

ezSATvec::ezSATvec ( ezSAT &  sat, const std::vector< int > &  vec  )

inline

Definition at line 330 of file ezsat.h.

: sat(sat), vec(vec) { }

Member Function Documentation

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

inline

Definition at line 352 of file ezsat.h.

{ return vec; }

Here is the call graph for this function:

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

inline

Definition at line 345 of file ezsat.h.

{ return ezSATbit(sat, sat.vec_ne(vec, other.vec)); }

Here is the call graph for this function:

ezSATvec ezSATvec::operator& ( const ezSATvec &  other )

inline

Definition at line 335 of file ezsat.h.

{ return ezSATvec(sat, sat.vec_and(vec, other.vec)); }

Here is the call graph for this function:

ezSATvec ezSATvec::operator+ ( const ezSATvec &  other )

inline

Definition at line 339 of file ezsat.h.

{ return ezSATvec(sat, sat.vec_add(vec, other.vec)); }

Here is the call graph for this function:

ezSATvec ezSATvec::operator- ( )

inline

Definition at line 333 of file ezsat.h.

{ return ezSATvec(sat, sat.vec_neg(vec)); }

Here is the call graph for this function:

ezSATvec ezSATvec::operator- ( const ezSATvec &  other )

inline

Definition at line 340 of file ezsat.h.

{ return ezSATvec(sat, sat.vec_sub(vec, other.vec)); }

Here is the call graph for this function:

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

inline

Definition at line 342 of file ezsat.h.

{ return ezSATbit(sat, sat.vec_lt_unsigned(vec, other.vec)); }

Here is the call graph for this function:

ezSATvec ezSATvec::operator<< ( int  shift )

inline

Definition at line 349 of file ezsat.h.

{ return ezSATvec(sat, sat.vec_shl(vec, shift)); }

Here is the call graph for this function:

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

inline

Definition at line 343 of file ezsat.h.

{ return ezSATbit(sat, sat.vec_le_unsigned(vec, other.vec)); }

Here is the call graph for this function:

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

inline

Definition at line 344 of file ezsat.h.

{ return ezSATbit(sat, sat.vec_eq(vec, other.vec)); }

Here is the call graph for this function:

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

inline

Definition at line 347 of file ezsat.h.

{ return ezSATbit(sat, sat.vec_gt_unsigned(vec, other.vec)); }

Here is the call graph for this function:

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

inline

Definition at line 346 of file ezsat.h.

{ return ezSATbit(sat, sat.vec_ge_unsigned(vec, other.vec)); }

Here is the call graph for this function:

ezSATvec ezSATvec::operator>> ( int  shift )

inline

Definition at line 350 of file ezsat.h.

{ return ezSATvec(sat, sat.vec_shr(vec, shift)); }

Here is the call graph for this function:

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

inline

Definition at line 337 of file ezsat.h.

{ return ezSATvec(sat, sat.vec_xor(vec, other.vec)); }

Here is the call graph for this function:

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

inline

Definition at line 336 of file ezsat.h.

{ return ezSATvec(sat, sat.vec_or(vec, other.vec)); }

Here is the call graph for this function:

ezSATvec ezSATvec::operator~ ( )

inline

Definition at line 332 of file ezsat.h.

{ return ezSATvec(sat, sat.vec_not(vec)); }

Here is the call graph for this function:

Field Documentation

ezSAT& ezSATvec::sat

Definition at line 327 of file ezsat.h.

std::vector<int> ezSATvec::vec

Definition at line 328 of file ezsat.h.

---

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

• ezsat.h