de.tubs.cs.sc.casim
Class CADescription

java.lang.Object
  |
  +--de.tubs.cs.sc.casim.CADescription

All Implemented Interfaces:

java.lang.Cloneable, java.io.Serializable

public class CADescription

extends java.lang.Object

implements java.lang.Cloneable, java.io.Serializable

CADescription.java Created: Sat Aug 28 19:40:20 1999

Author:

Marcus Briesen

See Also:

Serialized Form

Constructor Summary

CADescription()

CADescription(de.tubs.cs.sc.casim.LatticeDefinition def, java.lang.Class cl)

Method Summary

java.lang.Object	clone()
boolean	equals(java.lang.Object o)
de.tubs.cs.sc.casim.LatticeDefinition	getLatticeDefinition() Get the value of latticeDefinition.
java.lang.Class	getStateClass() Get the value of stateClass.
void	setLatticeDefinition(de.tubs.cs.sc.casim.LatticeDefinition v) Set the value of latticeDefinition.
void	setStateClass(java.lang.Class v) Set the value of stateClass.
java.lang.String	toString()

Methods inherited from class java.lang.Object

finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

CADescription

public CADescription()

CADescription

public CADescription(de.tubs.cs.sc.casim.LatticeDefinition def,
                     java.lang.Class cl)

Method Detail

getLatticeDefinition

public de.tubs.cs.sc.casim.LatticeDefinition getLatticeDefinition()

Get the value of latticeDefinition.

Returns:

Value of latticeDefinition.

setLatticeDefinition

public void setLatticeDefinition(de.tubs.cs.sc.casim.LatticeDefinition v)

Set the value of latticeDefinition.

Parameters:

v - Value to assign to latticeDefinition.

getStateClass

public java.lang.Class getStateClass()

Get the value of stateClass.

Returns:

Value of stateClass.

setStateClass

public void setStateClass(java.lang.Class v)

Set the value of stateClass.

Parameters:

v - Value to assign to stateClass.

clone

public java.lang.Object clone()
                       throws java.lang.CloneNotSupportedException

Overrides:

clone in class java.lang.Object

java.lang.CloneNotSupportedException

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object