ROSE  0.9.6a
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups Pages
Public Member Functions | List of all members
LogicalCond Class Referenceabstract

#include <LogicalCond.h>

Inheritance diagram for LogicalCond:
Inheritance graph
[legend]

Public Member Functions

virtual bool andUpd (LogicalCond &that)=0
 
virtual bool orUpd (LogicalCond &that)=0
 
virtual bool mayTrue ()=0
 
bool mustFalse ()
 
virtual LogicalCond * copy ()=0
 
virtual std::string str (std::string indent="")=0
 
virtual ~LogicalCond ()
 

Detailed Description

Definition at line 6 of file LogicalCond.h.

Constructor & Destructor Documentation

virtual LogicalCond::~LogicalCond ( )
inlinevirtual

Definition at line 36 of file LogicalCond.h.

Member Function Documentation

virtual bool LogicalCond::andUpd ( LogicalCond &  that)
pure virtual

Implemented in IntArithLogical.

virtual bool LogicalCond::orUpd ( LogicalCond &  that)
pure virtual

Implemented in IntArithLogical.

virtual bool LogicalCond::mayTrue ( )
pure virtual

Implemented in IntArithLogical.

Referenced by mustFalse().

bool LogicalCond::mustFalse ( )
inline

Definition at line 23 of file LogicalCond.h.

References mayTrue().

virtual LogicalCond* LogicalCond::copy ( )
pure virtual

Implemented in IntArithLogical.

virtual std::string LogicalCond::str ( std::string  indent = "")
pure virtual

Implemented in IntArithLogical.

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