// ***** VDMTOOLS START Name=accept KEEP=NO
public void accept(final IOmlVisitor pVisitor) throws CGException {
pVisitor.visitExitStatement((IOmlExitStatement) this);
}
// ***** VDMTOOLS START Name=accept KEEP=NO
public void accept(final IOmlVisitor pVisitor) throws CGException {
pVisitor.visitActExpression((IOmlActExpression) this);
}
// ***** VDMTOOLS START Name=accept KEEP=NO
public void accept(final IOmlVisitor pVisitor) throws CGException {
pVisitor.visitOperationType((IOmlOperationType) this);
}
// ***** VDMTOOLS START Name=accept KEEP=NO
public void accept(final IOmlVisitor pVisitor) throws CGException {
pVisitor.visitMutexAllPredicate((IOmlMutexAllPredicate) this);
}
