Uses of Interface
dev.civl.abc.ast.node.IF.acsl.PredicateNode

Packages that use PredicateNode

Package	Description
dev.civl.abc.ast.node.IF	Submodule ast.node defines every kind of node in an AST.
dev.civl.abc.ast.node.IF.acsl

Uses of PredicateNode in dev.civl.abc.ast.node.IF

Methods in dev.civl.abc.ast.node.IF that return PredicateNode

Modifier and Type	Method	Description
PredicateNode	NodeFactory.newPredicateNode(Source source, IdentifierNode identifier, SequenceNode<VariableDeclarationNode> parameters, ExpressionNode body)	Creates a new PredicateNode for ACSL predicates

Uses of PredicateNode in dev.civl.abc.ast.node.IF.acsl

Methods in dev.civl.abc.ast.node.IF.acsl that return PredicateNode

Modifier and Type	Method	Description
PredicateNode	PredicateNode.copy()