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

Packages that use InvariantNode

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

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

Modifier and Type	Method	Description
InvariantNode	NodeFactory.newInvariantNode(Source source, boolean isLoopInvariant, ExpressionNode expression)	Creates a new invariant clause node

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

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

Modifier and Type	Method	Description
InvariantNode	InvariantNode.copy()