Docs For Class Proposition

Description

Represents a Proposition in formal logic, a statement with at truth value.

RuleElement
   |
   --Proposition

Variable Summary

boolean $value

Method Summary

Proposition Proposition ( $name, $truthValue)

Proposition __construct ( $name, $truthValue)

string getType ()

Proposition logicalAnd (Proposition $proposition)

Proposition logicalNot ()

Proposition logicalOr (Proposition $proposition)

Proposition logicalXor (Proposition $proposition)

string toString ()

Variables

boolean $value (line 117)

The Boolean truth value of the Proposition.

access: public

Inherited Variables

Inherited from RuleElement

RuleElement::$name

Methods

Constructor Proposition (line 122)

Constructor initializes $name, and the $value.

access: public

Proposition Proposition ( $name, $truthValue)

$name
$truthValue

Constructor __construct (line 130)

Constructor initializes $name, and the $value.

access: public

Proposition __construct ( $name, $truthValue)

$name
$truthValue

Redefinition of:

RuleElement::__construct(): Constructor initializes $name.

getType (line 139)

Returns "Proposition.

Returns "Proposition."

access: public

string getType ()

Redefinition of:

RuleElement::getType(): Returns the type of RuleElement.

logicalAnd (line 160)

Performs a Boolean AND operation on another Proposition

access: public

Proposition logicalAnd (Proposition $proposition)

Proposition $proposition

logicalNot (line 181)

Performs a Boolean NOT operation its own value

access: public

Proposition logicalNot ()

logicalOr (line 171)

Performs a Boolean OR operation on another Proposition

access: public

Proposition logicalOr (Proposition $proposition)

Proposition $proposition

logicalXor (line 192)

Performs a Boolean XOR operation on another Proposition

access: public

Proposition logicalXor (Proposition $proposition)

Proposition $proposition

toString (line 147)

Returns a human-readable statement and value.

access: public

string toString ()

Redefinition of:

RuleElement::toString(): Returns the name of the RuleElement.

Inherited Methods

Inherited From RuleElement

RuleElement::RuleElement()
RuleElement::__construct()
RuleElement::getType()
RuleElement::toString()