org.coode.oppl

Class InCollectionConstraint<P extends org.semanticweb.owlapi.model.OWLObject>

java.lang.Object

org.coode.oppl.InCollectionConstraint<P>

Type Parameters:

P - type

All Implemented Interfaces:

AbstractConstraint, Renderable

public class InCollectionConstraint<P extends org.semanticweb.owlapi.model.OWLObject>
extends Object
implements AbstractConstraint

Constraint that verifies whether a variable values are contained in a collection

Author:

Luigi Iannone

Constructor Summary

Constructors

Constructor and Description
InCollectionConstraint(Variable<P> variable, Collection<? extends P> collection, ConstraintSystem constraintSystem)

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(ConstraintVisitor visitor)
<O> O	accept(ConstraintVisitorEx<O> visitor)
boolean	equals(Object obj)
Set<P>	getCollection()
ConstraintSystem	getConstraintSystem()
static <T extends org.semanticweb.owlapi.model.OWLObject> InCollectionConstraint<T>	getInCollectionConstraint(Variable<T> variable, Collection<? extends T> collection, ConstraintSystem constraintSystem)
Variable<P>	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

InCollectionConstraint

public InCollectionConstraint(Variable<P> variable,
                      Collection<? extends P> collection,
                      ConstraintSystem constraintSystem)

Parameters:

variable - variable

collection - collection

constraintSystem - constraintSystem

Method Detail

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

getVariable

public Variable<P> getVariable()

Returns:

the variable

getCollection

public Set<P> getCollection()

Returns:

the collection

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object

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

accept

public void accept(ConstraintVisitor visitor)

Specified by:

accept in interface AbstractConstraint

Parameters:

visitor - visitor

getConstraintSystem

public ConstraintSystem getConstraintSystem()

Returns:

the constraintSystem

getInCollectionConstraint

public static <T extends org.semanticweb.owlapi.model.OWLObject> InCollectionConstraint<T> getInCollectionConstraint(Variable<T> variable,
                                                                                                     Collection<? extends T> collection,
                                                                                                     ConstraintSystem constraintSystem)

Type Parameters:

T - variable type

Parameters:

variable - variable

collection - collection

constraintSystem - constraintSystem

Returns:

in collection constraint