class BoolExp: public AtomExp

Classe che rappresenta un'espressione booleane

Inheritance:


Public Methods

[more] BoolExp (bool v)
[more]Exp* clone () const
[more]Exp* eval (const Environment *env) const
[more]void getVariables (StringSet *ss) const
[more]int getNumVariables () const
[more]std::string toString () const
[more]virtual ~BoolExp ()
[more]bool getValue ()

Private Fields

[more]bool value

Inherited from AtomExp:


Inherited from Exp:


Documentation

Classe che rappresenta un'espressione booleane
o BoolExp(bool v)

oExp* clone() const

oExp* eval(const Environment *env) const

ovoid getVariables(StringSet *ss) const

oint getNumVariables() const

ostd::string toString() const

ovirtual ~BoolExp()

obool getValue()

obool value


This class has no child classes.

Alphabetic index HTML hierarchy of classes or Java



This page was generated with the help of DOC++.