org.coode.oppl.search

Class OPPLOWLAxiomSearchNode

java.lang.Object

org.coode.oppl.search.OPPLOWLAxiomSearchNode

Direct Known Subclasses:

SolvabilitySearchNode

public class OPPLOWLAxiomSearchNode
extends Object

Author:

Luigi Iannone

Constructor Summary

Constructors

Constructor and Description
OPPLOWLAxiomSearchNode(org.semanticweb.owlapi.model.OWLAxiom axiom, BindingNode bindingNode)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
org.semanticweb.owlapi.model.OWLAxiom	getAxiom()
BindingNode	getBinding()
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

OPPLOWLAxiomSearchNode

public OPPLOWLAxiomSearchNode(org.semanticweb.owlapi.model.OWLAxiom axiom,
                              BindingNode bindingNode)

Parameters:

axiom - axiom

bindingNode - bindingNode

Method Detail

getAxiom

public org.semanticweb.owlapi.model.OWLAxiom getAxiom()

Returns:

the axiom

toString

public String toString()

Overrides:

toString in class Object

getBinding

public BindingNode getBinding()

Returns:

the binding

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object