org.coode.oppl

Class InequalityConstraint

java.lang.Object

org.coode.oppl.InequalityConstraint

All Implemented Interfaces:

AbstractConstraint, Renderable

public class InequalityConstraint
extends Object
implements AbstractConstraint

Author:

Luigi Iannone

Constructor Summary

Constructors

Constructor and Description
InequalityConstraint(Variable<?> variable, org.semanticweb.owlapi.model.OWLObject expression, ConstraintSystem constraintSystem)

Method Summary

Modifier and Type	Method and Description
void	accept(ConstraintVisitor visitor)
<O> O	accept(ConstraintVisitorEx<O> visitor)
boolean	equals(Object obj)
ConstraintSystem	getConstraintSystem()
org.semanticweb.owlapi.model.OWLObject	getExpression()
Variable<?>	getVariable()
int	hashCode()
String	render(ConstraintSystem cs)
String	render(org.semanticweb.owlapi.util.ShortFormProvider shortFormProvider)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

InequalityConstraint

public InequalityConstraint(Variable<?> variable,
                            org.semanticweb.owlapi.model.OWLObject expression,
                            ConstraintSystem constraintSystem)

Parameters:

variable - variable

expression - expression

constraintSystem - constraintSystem

Method Detail

getVariable

public Variable<?> getVariable()

Returns:

the variable

getExpression

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

Returns:

the expression

accept

public <O> O accept(ConstraintVisitorEx<O> visitor)

Specified by:

accept in interface AbstractConstraint

Type Parameters:

O - visitor value type

Parameters:

visitor - visitor

Returns:

visitor value

toString

public String toString()

Overrides:

toString in class Object

getConstraintSystem

public ConstraintSystem getConstraintSystem()

Returns:

the constraintSystem

render

public String render(org.semanticweb.owlapi.util.ShortFormProvider shortFormProvider)

Specified by:

render in interface AbstractConstraint

Parameters:

shortFormProvider - shortFormProvider

Returns:

rendering

render

public String render(ConstraintSystem cs)

Specified by:

render in interface Renderable

Parameters:

cs - constraintSystem

Returns:

rendering

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

accept

public void accept(ConstraintVisitor visitor)

Specified by:

accept in interface AbstractConstraint

Parameters:

visitor - visitor