001/* 002 * $Id: Value.java 5204 2015-04-05 10:30:15Z kredel $ 003 */ 004 005package edu.jas.structure; 006 007 008/** 009 * Value interface. Defines selector for value. 010 * @param C base element type 011 * @author Heinz Kredel 012 */ 013public interface Value<C extends RingElem<C>> { 014 015 016 /** 017 * Value getter. 018 */ 019 public C value(); 020 021 022 /** 023 * Test if element type is constant. 024 */ 025 public boolean isConstant(); 026 027}