#include <PreTreeNodes.h>
Public Member Functions | |
PreCondSemNode (bool value) | |
void | accept (PreVisitor &v) |
bool | value () const |
Puma::PreCondSemNode::PreCondSemNode | ( | bool | value | ) | [inline] |
void Puma::PreCondSemNode::accept | ( | PreVisitor & | v | ) | [inline, virtual] |
Implements Puma::PreTree.
bool Puma::PreCondSemNode::value | ( | ) | const [inline] |