ibex::DomainOpExpr Class Reference
[Expressions]

Domain operator expression. More...

#include <IbexExpr.h>

Inheritance diagram for ibex::DomainOpExpr:

List of all members.

Public Member Functions
virtual void	acceptVisitor (Visitor &v) const
Public Attributes
const DomainOpType	op
const Expr &	expr

---

Detailed Description

Domain operator expression.

Author:

Gilles Chabert

Date:

February 2008

---

Member Function Documentation

virtual void ibex::DomainOpExpr::acceptVisitor

(

Visitor &

v

)

const [inline, virtual]

Accept an ibex::Expr visitor.

Implements ibex::Expr.

---

Member Data Documentation

const DomainOpType ibex::DomainOpExpr::op

The unary operator internal code

const Expr& ibex::DomainOpExpr::expr

The subexpression

---

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

• src/IbexExpr.h
• src/IbexExpr.cpp