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

Packages that use NothingNode

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

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

Modifier and Type	Method	Description
NothingNode	NodeFactory.newNothingNode(Source source)	creates a \nothing node which represents an empty set of memory units.

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

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

Modifier and Type	Method	Description
NothingNode	NothingNode.copy()