ui.components
Class AtomicPropositions

java.lang.Object
  ui.components.AtomicPropositions

All Implemented Interfaces:

java.io.Serializable

public class AtomicPropositions
extends java.lang.Object
implements java.io.Serializable

AtomicPropositions is used to print the list representing the system loaded.

Copyright(c) 2005 Université Laval, LSFM research group.

Version:

1.0

Author:

Frédérick Lemay

See Also:

Serialized Form

Constructor Summary

AtomicPropositions(java.lang.String label, IntervalList states)
Default constructor, initializes the initial state

Method Summary

java.lang.String	getLabel() Returns the label associated with the atomic proposition
IntervalList	getStates() Returns the states associated with the labels.
java.lang.String	toString() Returns a string representing the initial state

Methods inherited from class java.lang.Object

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

Constructor Detail

AtomicPropositions

public AtomicPropositions(java.lang.String label,
                          IntervalList states)

Default constructor, initializes the initial state

Parameters:

InitialState - the system initial state

Method Detail

getLabel

public java.lang.String getLabel()

Returns the label associated with the atomic proposition

Returns:

the label associated with the atomic proposition

getStates

public IntervalList getStates()

Returns the states associated with the labels.

Returns:

the states associated with the labels.

toString

public java.lang.String toString()

Returns a string representing the initial state

Overrides:

toString in class java.lang.Object

Returns:

a string representing the initial state