org.coode.oppl.search.solvability

Class MultipleAxiomSolvability

java.lang.Object

org.coode.oppl.search.solvability.MultipleAxiomSolvability

All Implemented Interfaces:

AxiomSolvability

public class MultipleAxiomSolvability
extends Object
implements AxiomSolvability

Applies a set of solvability strategies, until either a node is solved or the strategies are exhausted.

Author:

Luigi Iannone

Constructor Summary

Constructors

Constructor and Description
MultipleAxiomSolvability(Collection<? extends AxiomSolvability> delegates)

Method Summary

Modifier and Type	Method and Description
Set<AxiomSolvability>	getDelegates()
SolvabilitySearchNode	getSolvabilitySearchNode(org.semanticweb.owlapi.model.OWLAxiom owlAxiom, BindingNode bindingNode)

Methods inherited from class java.lang.Object

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

Constructor Detail

MultipleAxiomSolvability

public MultipleAxiomSolvability(Collection<? extends AxiomSolvability> delegates)

Parameters:

delegates - delegates

Method Detail

getSolvabilitySearchNode

public SolvabilitySearchNode getSolvabilitySearchNode(org.semanticweb.owlapi.model.OWLAxiom owlAxiom,
                                                      BindingNode bindingNode)

Specified by:

getSolvabilitySearchNode in interface AxiomSolvability

Parameters:

owlAxiom - owlAxiom

bindingNode - bindingNode

Returns:

solvability search node

getDelegates

public Set<AxiomSolvability> getDelegates()

Returns:

the delegates