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

Packages that use AssumesNode

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 AssumesNode in dev.civl.abc.ast.node.IF

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

Modifier and Type	Method	Description
AssumesNode	NodeFactory.newAssumesNode(Source source, ExpressionNode predicate)	Creates a new assumes clause node

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

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

Modifier and Type	Method	Description
AssumesNode	AssumesNode.copy()