ca.uqac.lif.ecp.ltl

Class ConcreteValue<T,U>

java.lang.Object

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

Direct Known Subclasses:

Constant, StatechartVariableAtom

public abstract class ConcreteValue<T,U>
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ConcreteValue()

Method Summary

Modifier and Type	Method and Description
abstract 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

Constructor Detail

ConcreteValue

public ConcreteValue()

Method Detail

getValue

public abstract U getValue(T structure)

Fetches the value on this structure

Parameters:

structure - The structure

Returns:

The value