jtp.frame.vc
Class ValueLink

java.lang.Object
  |
  +--jtp.frame.vc.ValueLink

All Implemented Interfaces:

Serializable

public class ValueLink

extends Object

implements Serializable

ValueLink.java This class represents the inclusion of one value collection, the source, into another, the target.

See Also:

Serialized Form

Field Summary

protected ReasoningStep	proof
ValueCollection	source the collection being included into the target
ValueCollection	target the collection being included into the target

Constructor Summary

ValueLink(ValueCollection source, ValueCollection target, ReasoningStep proof)
Creates a link from source to target.

Method Summary

boolean	equals(Object o)
ReasoningStep	getProof()
ReasoningStep	getProof(Object o)
ValueCollection	getSource() accessor function to source
ValueCollection	getTarget() accessor function to target
int	hashCode()

Methods inherited from class java.lang.Object

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

Field Detail

source

public transient ValueCollection source

the collection being included into the target

target

public transient ValueCollection target

the collection being included into the target

proof

protected transient ReasoningStep proof

Constructor Detail

ValueLink

public ValueLink(ValueCollection source,
                 ValueCollection target,
                 ReasoningStep proof)

Creates a link from source to target.

Method Detail

getSource

public ValueCollection getSource()

accessor function to source

Returns:

source, the value collection being included

getTarget

public ValueCollection getTarget()

accessor function to target

Returns:

source, the value collection being included

getProof

public ReasoningStep getProof()

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

getProof

public ReasoningStep getProof(Object o)