Public Member Functions | Public Attributes
Predicate Class Reference

Any predicate specification. More...

#include <symbolicState.h>

List of all members.

Public Member Functions

bool operator< (const Predicate &p) const

Public Attributes

string name
vector< string > parameters

Detailed Description

Any predicate specification.

e.g. (on cup1 table0) (connected a b) (capacity robot1)

Definition at line 34 of file symbolicState.h.

Member Function Documentation

bool Predicate::operator< ( const Predicate p) const

Definition at line 5 of file symbolicState.cpp.

Member Data Documentation

Definition at line 37 of file symbolicState.h.

vector<string> Predicate::parameters

Definition at line 38 of file symbolicState.h.

The documentation for this class was generated from the following files:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines

Author(s): Christian Dornhege
autogenerated on Tue Jan 22 2013 12:24:43