model
Class TopoEntity.TopoFact

java.lang.Object
  extended by model.TopoEntity.TopoFact
Enclosing class:
TopoEntity

public class TopoEntity.TopoFact
extends java.lang.Object

Class for storing relations added to this entity.


Field Summary
private  TopoEntity related
          the related entity
private  java.lang.String value
          the topological value
 
Constructor Summary
TopoEntity.TopoFact(TopoEntity related, java.lang.String value)
          Constructs a topo fact.
 
Method Summary
 TopoEntity getRelated()
          Gets the related entity.
 java.lang.String getValue()
          Gets the topological value.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

related

private TopoEntity related
the related entity


value

private java.lang.String value
the topological value

Constructor Detail

TopoEntity.TopoFact

public TopoEntity.TopoFact(TopoEntity related,
                           java.lang.String value)
Constructs a topo fact.

Parameters:
related - - the related entity
value - - the topological value
Method Detail

getRelated

public TopoEntity getRelated()
Gets the related entity.


getValue

public java.lang.String getValue()
Gets the topological value.