001/*
002 * $Id: Selector.java 2208 2008-11-15 18:47:54Z kredel $
003 */
004
005package edu.jas.structure;
006
007
008/**
009 * Selector interface.
010 * @param <C> ring element type
011 * @author Heinz Kredel
012 */
013
014public interface Selector<C extends RingElem<C>> {
015
016
017    /**
018     * Select.
019     * @return true, if the element is selected, otherwise false.
020     */
021    public boolean select(C c);
022
023}