ca.uqac.lif.ecp.ltl

Class Constant<T,U>

java.lang.Object

ca.uqac.lif.ecp.ltl.ConcreteValue<T,U>

ca.uqac.lif.ecp.ltl.Constant<T,U>

public class Constant<T,U>
extends ConcreteValue<T,U>

Field Summary

Fields

Modifier and Type	Field and Description
protected U	m_value The value

Constructor Summary

Constructors

Constructor and Description
Constant(U value) Creates a new constant

Method Summary

Modifier and Type	Method and Description
U	getValue(T structure) Fetches the value on this structure

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

m_value

protected final U m_value

The value

Constructor Detail

Constant

public Constant(U value)

Creates a new constant

Parameters:

value - The value of this constant

Method Detail

getValue

public final U getValue(T structure)

Description copied from class: ConcreteValue

Fetches the value on this structure

Specified by:

getValue in class ConcreteValue<T,U>

Parameters:

structure - The structure

Returns:

The value