org.coode.oppl.bindingtree

Class Assignment

java.lang.Object

org.coode.oppl.bindingtree.Assignment

public class Assignment
extends Object

Author:

Luigi Iannone

Constructor Summary

Constructors

Constructor and Description
Assignment(Variable<?> assignedVariable, org.semanticweb.owlapi.model.OWLObject assignment)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
Variable<?>	getAssignedVariable()
org.semanticweb.owlapi.model.OWLObject	getAssignment()
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Assignment

public Assignment(Variable<?> assignedVariable,
                  org.semanticweb.owlapi.model.OWLObject assignment)

Parameters:

assignedVariable - assignedVariable

assignment - assignment

Method Detail

getAssignedVariable

public Variable<?> getAssignedVariable()

Returns:

the assignedVariable

getAssignment

public org.semanticweb.owlapi.model.OWLObject getAssignment()

Returns:

the assignment

toString

public String toString()

Overrides:

toString in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object