ASTNode.h File Reference

Abstract Syntax Tree (AST) for representing formula trees. More...

Include dependency graph for ASTNode.h:

This graph shows which files directly or indirectly include this file:

Typedefs
typedef int(*	ASTNodePredicate )(const ASTNode_t *node)
	Function signature for use with ASTNode::fillListOfNodes() and ASTNode::getListOfNodes() . More...

Detailed Description

Abstract Syntax Tree (AST) for representing formula trees.

Author

Sarah Keating

Typedef Documentation

ASTNodePredicate

Function signature for use with ASTNode::fillListOfNodes() and ASTNode::getListOfNodes() .

A pointer to a function that takes an ASTNode and returns true (nonzero) or false (0).

See also

ASTNode::getListOfNodes()

ASTNode::fillListOfNodes()