A composite node that performs an implication (inference rule) More...

#include <CompositeImpliesNode.h>

Inheritance diagram for madara::expression::CompositeImpliesNode:

Collaboration diagram for madara::expression::CompositeImpliesNode:

[legend]

Public Member Functions
	CompositeImpliesNode (logger::Logger &logger, ComponentNode left, ComponentNode right)
	Constructor. More...

virtual void	accept (Visitor &visitor) const
	Accepts a visitor subclassed from the Visitor class. More...

virtual madara::knowledge::KnowledgeRecord	evaluate (const madara::knowledge::KnowledgeUpdateSettings &settings)
	Evaluates the expression tree. More...

virtual madara::knowledge::KnowledgeRecord	item (void) const
	Returns the printable character of the node. More...

virtual ComponentNode *	left (void) const
	Returns the left expression. More...

virtual madara::knowledge::KnowledgeRecord	prune (bool &can_change)
	Prunes the expression tree of unnecessary nodes. More...

virtual ComponentNode *	right (void) const
	Returns the right expression. More...

void	set_logger (logger::Logger &logger)
	Sets the logger for printing errors and debugging info. More...

Protected Attributes
ComponentNode *	left_
	left expression More...

logger::Logger *	logger_
	handle the context More...

ComponentNode *	right_
	Right expression. More...

Detailed Description

A composite node that performs an implication (inference rule)

Definition at line 22 of file CompositeImpliesNode.h.

Constructor & Destructor Documentation

madara::expression::CompositeImpliesNode::CompositeImpliesNode	(	logger::Logger &	logger,
		ComponentNode *	left,
		ComponentNode *	right
	)

Constructor.

Parameters

logger	the logger to use for printing
left	left expression
right	right expression

Definition at line 18 of file CompositeImpliesNode.cpp.

Member Function Documentation

void madara::expression::CompositeImpliesNode::accept ( Visitor & visitor ) const

virtual

Accepts a visitor subclassed from the Visitor class.

Parameters

visitor visitor instance to use

Reimplemented from madara::expression::ComponentNode.

Definition at line 104 of file CompositeImpliesNode.cpp.

madara::knowledge::KnowledgeRecord madara::expression::CompositeImpliesNode::evaluate ( const madara::knowledge::KnowledgeUpdateSettings & settings )

virtual

Evaluates the expression tree.

Evaluates the node and its children.

If the left expression is true, then the right expression is evaluated. The right expression's value does not percolate back up.

Parameters

settings settings for evaluating the node

Returns: the value of the condition (left expression)

This does not prune any of the expression tree, and is much faster than the prune function

Implements madara::expression::ComponentNode.

Definition at line 89 of file CompositeImpliesNode.cpp.

madara::knowledge::KnowledgeRecord madara::expression::CompositeImpliesNode::item ( void ) const

virtual

Returns the printable character of the node.

Returns: value of the node

Reimplemented from madara::expression::ComponentNode.

Definition at line 26 of file CompositeImpliesNode.cpp.

madara::expression::ComponentNode * madara::expression::CompositeBinaryNode::left ( void ) const

virtualinherited

Returns the left expression.

Returns: a pointer to the left expression

Reimplemented from madara::expression::ComponentNode.

Definition at line 27 of file CompositeBinaryNode.cpp.

madara::knowledge::KnowledgeRecord madara::expression::CompositeImpliesNode::prune ( bool & can_change )

virtual

Prunes the expression tree of unnecessary nodes.

Prune the tree of unnecessary nodes.

Parameters

can_change set to true if variable nodes are contained

Returns: the value of the condition (left expression)

Returns evaluation of the node and sets can_change appropriately. if this node can be changed, that means it shouldn't be pruned.

Implements madara::expression::ComponentNode.

Definition at line 38 of file CompositeImpliesNode.cpp.

madara::expression::ComponentNode * madara::expression::CompositeUnaryNode::right ( void ) const

virtualinherited

Returns the right expression.

Returns: a pointer to the right expression

Reimplemented from madara::expression::ComponentNode.

Definition at line 24 of file CompositeUnaryNode.cpp.

void madara::expression::ComponentNode::set_logger ( logger::Logger & logger )

inherited

Sets the logger for printing errors and debugging info.

Parameters

logger the logger to use

Definition at line 53 of file ComponentNode.cpp.

Member Data Documentation

ComponentNode* madara::expression::CompositeBinaryNode::left_

protectedinherited

left expression

Definition at line 47 of file CompositeBinaryNode.h.

logger::Logger* madara::expression::ComponentNode::logger_

protectedinherited

handle the context

Definition at line 96 of file ComponentNode.h.

ComponentNode* madara::expression::CompositeUnaryNode::right_

protectedinherited

Right expression.

Definition at line 43 of file CompositeUnaryNode.h.

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

include/madara/expression/CompositeImpliesNode.h
include/madara/expression/CompositeImpliesNode.cpp

Public Member Functions

Protected Attributes

Detailed Description

Constructor & Destructor Documentation

Member Function Documentation

Member Data Documentation