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

Packages that use MPIContractConstantNode

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

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

Modifier and Type	Method	Description
MPIContractConstantNode	NodeFactory.newMPIConstantNode(Source source, String stringRepresetation, MPIContractConstantNode.MPIConstantKind kind, ConstantNode.ConstantKind constKind)	Creates a new MPI constant node

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

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

Modifier and Type	Method	Description
MPIContractConstantNode	MPIContractConstantNode.copy()