Package net.ssehub.easy.varModel.model

Interface ModelQuery.IDeclarationSelector

All Known Implementing Classes:
ModelQuery.FirstDeclTypeSelector
Enclosing class:
ModelQuery
public static interface ModelQuery.IDeclarationSelector
Defines the interface of a declaration selector.
Author:
Holger Eichelberger

  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    select(DecisionVariableDeclaration decl)
    Returns whether a declaration was selected.

  • Method Details

    • select

      boolean select(DecisionVariableDeclaration decl)
      Returns whether a declaration was selected.
      Parameters:
      decl - the declaration to consider
      Returns:
      true if decl was selected, false else