carl::SignCondition Class Reference

#include <SignCondition.h>

Inheritance diagram for carl::SignCondition:

Collaboration diagram for carl::SignCondition:

Public Member Functions
bool	isPrefixOf (const SignCondition &other)
bool	isSuffixOf (const SignCondition &other) const
SignCondition	trailingPart (uint count) const

Static Public Member Functions
static ThomComparisonResult	compare (const SignCondition &lhs, const SignCondition &rhs)

Data Fields
T	elements
	STL member. More...

Friends
std::ostream &	operator<< (std::ostream &os, const SignCondition &rhs)

Detailed Description

Definition at line 17 of file SignCondition.h.

Member Function Documentation

compare()

static ThomComparisonResult carl::SignCondition::compare ( const SignCondition &  lhs, const SignCondition &  rhs  )

inlinestatic

Definition at line 48 of file SignCondition.h.

Here is the caller graph for this function:

isPrefixOf()

bool carl::SignCondition::isPrefixOf

(

const SignCondition &

other

)

isSuffixOf()

bool carl::SignCondition::isSuffixOf ( const SignCondition &  other ) const

inline

Definition at line 25 of file SignCondition.h.

Here is the caller graph for this function:

trailingPart()

SignCondition carl::SignCondition::trailingPart ( uint  count ) const

inline

Definition at line 37 of file SignCondition.h.

Here is the caller graph for this function:

Friends And Related Function Documentation

operator<<

std::ostream& operator<< ( std::ostream &  os, const SignCondition &  rhs  )

friend

Definition at line 74 of file SignCondition.h.

Field Documentation

elements

T std::list< T >::elements

inherited

STL member.

---

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

• carl-arith/ran/thom/SignDetermination/SignCondition.h