org.coode.oppl.search.solvability

Class AbstractAxiomSolvability

java.lang.Object

org.coode.oppl.search.solvability.AbstractAxiomSolvability

All Implemented Interfaces:

AxiomSolvability

Direct Known Subclasses:

QuerySolverBasedAbstractAxiomSolvability

public abstract class AbstractAxiomSolvability
extends Object
implements AxiomSolvability

Author:

Luigi Iannone

Constructor Summary

Constructors

Constructor and Description
AbstractAxiomSolvability(ConstraintSystem constraintSystem)

Method Summary

Modifier and Type	Method and Description
ConstraintSystem	getConstraintSystem()

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.coode.oppl.search.solvability.AxiomSolvability

getSolvabilitySearchNode

Constructor Detail

AbstractAxiomSolvability

public AbstractAxiomSolvability(ConstraintSystem constraintSystem)

Parameters:

constraintSystem - constraintSystem

Method Detail

getConstraintSystem

public ConstraintSystem getConstraintSystem()

Returns:

the constraintSystem