Interface PredicateNode

All Superinterfaces:
ASTNode, BlockItemNode, ContractNode, DeclarationNode, FunctionDeclarationNode, FunctionDefinitionNode, OrdinaryDeclarationNode

public interface PredicateNode extends ContractNode, FunctionDefinitionNode
The ACSL predicate node, which in the view of ABC, is just a function with a boolean return type. An ACSL predicate annotation will become a function which get inserted in the AST tree at the location of the annotation.