fawkes::stn::Predicate Class Reference

A representation of a Predicate in the STN. More...

#include "predicate.h"

Public Member Functions
	Predicate (const std::string &name, bool condition, const std::vector< std::string > &attrs)
	Constructor. More...
bool	operator== (const Predicate &rhs)
	Compare two Predicates. More...
std::string	name () const
	Get the name of the predicate. More...
bool	condition () const
	Get the condition of the predicate. More...
const std::vector< std::string > &	attrs () const
	Get the attributes of the predicate. More...

Friends
std::ostream &	operator<< (std::ostream &, const Predicate &)
	Print a Predicate. More...

Detailed Description

A representation of a Predicate in the STN.

Definition at line 32 of file predicate.h.

Constructor & Destructor Documentation

Predicate()

fawkes::stn::Predicate::Predicate	(	const std::string &	name,
		bool	condition,
		const std::vector< std::string > &	attrs
	)

Constructor.

Parameters

name	The name of the predicate.
condition	False iff this predicate is negated.
attrs	Parameters of the predicate.

Definition at line 36 of file predicate.cpp.

Member Function Documentation

attrs()

const std::vector< std::string > & fawkes::stn::Predicate::attrs

(

)

const

Get the attributes of the predicate.

Returns

A vector of attributes as strings.

Definition at line 90 of file predicate.cpp.

Referenced by fawkes::stn::StnAction::genConditionEdgeLabel().

condition()

bool fawkes::stn::Predicate::condition

(

)

const

Get the condition of the predicate.

Returns

True iff the predicate's condition is true.

Definition at line 81 of file predicate.cpp.

Referenced by fawkes::stn::StnAction::genConditionEdgeLabel().

name()

std::string fawkes::stn::Predicate::name

(

)

const

Get the name of the predicate.

Returns

The name of the predicate.

Definition at line 72 of file predicate.cpp.

Referenced by fawkes::stn::StnAction::checkForBreakup(), and fawkes::stn::StnAction::genConditionEdgeLabel().

operator==()

bool fawkes::stn::Predicate::operator==

(

const Predicate &

rhs

)

Compare two Predicates.

Parameters

rhs	The other predicatge.

Returns

True iff the two predicates have the same properties.

Definition at line 63 of file predicate.cpp.

Friends And Related Function Documentation

operator<<

std::ostream& operator<< ( std::ostream &  strm, const Predicate &  a  )

friend

Print a Predicate.

This prints all relevant information about the predicate.

Parameters

strm	The stream to pass the information to.
a	The predicate to show.

Definition at line 46 of file predicate.cpp.

---

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

• src/plugins/stn-generator/predicate.h
• src/plugins/stn-generator/predicate.cpp