#include <Expression.hh>

Public Member Functions
	AndExpression (Expression conjunction, Expression logicalComparison)

int	type () const

Expression *	left () const

Expression *	right () const

virtual bool	valid () const

bool	eval (Value &result) const

virtual Type	valueType () const

virtual bool	isConstant () const

Public Member Functions inherited from Diades::Altarica::Expression
	Expression ()

VariableIterator	beginOfVariables () const

VariableIterator	endOfVariables () const

SizeType	supportSize () const

Private Attributes
Expression *	_conjunction

Expression *	_logicalComparison

Friends
ostream &	operator<< (ostream &os, const Expression &expression)

Additional Inherited Members
Public Types inherited from Diades::Altarica::Expression
typedef Utils::Exception< Expression >	Exception

typedef vector< Variable >::const_iterator	VariableIterator

typedef vector< Variable >::size_type	SizeType

typedef vector< Variable >	Support

Static Public Member Functions inherited from Diades::Altarica::Expression
static string	typeName ()

Protected Attributes inherited from Diades::Altarica::Expression
Support	_varSupport

Type	_returnedType
	Variables that are supporting the Expression. More...

Detailed Description

Definition at line 316 of file Expression.hh.

Constructor & Destructor Documentation

Diades::Altarica::AndExpression::AndExpression	(	Expression *	conjunction,
		Expression *	logicalComparison
	)

inline

Definition at line 322 of file Expression.hh.

References _conjunction, _logicalComparison, Diades::Altarica::Expression::_varSupport, and Diades::Altarica::mergeExpressionSupports().

Member Function Documentation

bool Diades::Altarica::AndExpression::eval ( Value & value ) const

virtual

Expression evaluation: this operation evaluates the expression with the current value associated to the variables that support the Expression. The evaluation is failing if there is a variable of the support that is still free (that is an unassigned variable).

Parameters

value the Value resulting from the evaluation of the current Expression.

Returns: true if the operation succeeds, false otherwise.

Implements Diades::Altarica::Expression.

virtual bool Diades::Altarica::AndExpression::isConstant ( ) const

inlinevirtual

Returns: true if the Expression is constant

Implements Diades::Altarica::Expression.

Definition at line 352 of file Expression.hh.

References Diades::Altarica::Expression::isConstant(), left(), and right().

Expression* Diades::Altarica::AndExpression::left ( ) const

inline

Definition at line 331 of file Expression.hh.

References _conjunction.

Referenced by isConstant().

Expression* Diades::Altarica::AndExpression::right ( ) const

inline

Definition at line 335 of file Expression.hh.

References _logicalComparison.

Referenced by isConstant().

int Diades::Altarica::AndExpression::type ( ) const

inlinevirtual

Type of an expression

Returns: an integer that determines the current type of the Expression. It is way to avoid the use of RTTI and gets a lighter implementation. The returned type is one the the altarica type: that is AR_TREE_ITE, AR_TREE_CASE, AR_TREE_OR,... See arsyntax/altarica-tree.h for the exhaustive list of expression types.

Implements Diades::Altarica::Expression.

Definition at line 330 of file Expression.hh.

virtual bool Diades::Altarica::AndExpression::valid ( ) const

inlinevirtual

Validity of an Expression