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

Packages that use CompositeEventNode

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

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

Modifier and Type	Method	Description
CompositeEventNode	NodeFactory.newOperatorEventNode(Source source, CompositeEventNode.EventOperator op, DependsEventNode left, DependsEventNode right)	creates a new composite event node, which is composed by two events node and an operator.

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

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

Modifier and Type	Method	Description
CompositeEventNode	CompositeEventNode.copy()