Docs For Class RuleElement

Description

Represents an element of a Rule or RuleContext.

Direct descendents

Class	Description
Operator	Represents a Boolean operator or a quantifier operator.
Proposition	Represents a Proposition in formal logic, a statement with at truth value.
Variable	A symbol that represents a value.

Variable Summary

string $name

Method Summary

RuleElement __construct ( $name)

RuleElement RuleElement ( $name)

string getType ()

string toString ()

Variables

string $name (line 19)

The name of the RuleElement.

Methods

Constructor __construct (line 31)

Constructor initializes $name.

RuleElement __construct ( $name)

Redefined in descendants as:

Constructor RuleElement (line 24)

Constructor initializes $name.

RuleElement RuleElement ( $name)

getType (line 39)

Returns the type of RuleElement.

string getType ()

Redefined in descendants as:

toString (line 45)

Returns the name of the RuleElement.

string toString ()

Redefined in descendants as: