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

Packages that use CompletenessNode

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

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

Modifier and Type	Method	Description
CompletenessNode	NodeFactory.newCompletenessNode(Source source, boolean isComplete, SequenceNode<IdentifierNode> idList)	creates a completeness clause node, which could be complete or disjoint

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

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

Modifier and Type	Method	Description
CompletenessNode	CompletenessNode.copy()