org.coode.oppl.utils

Class VariableExtractor

java.lang.Object

org.coode.oppl.utils.VariableExtractor

public class VariableExtractor
extends Object

Author:

Luigi Iannone

Field Summary

Fields

Modifier and Type	Field and Description
protected ConstraintSystem	cs

Constructor Summary

Constructors

Constructor and Description
VariableExtractor(ConstraintSystem constraintSystem, boolean includeGenerated)

Method Summary

Modifier and Type	Method and Description
Set<Variable<?>>	extractVariables(OPPLFunction<?> opplFunction)
Set<Variable<?>>	extractVariables(org.semanticweb.owlapi.model.OWLObject owlObject)
ConstraintSystem	getConstraintSystem()
boolean	isIncludeGenerated()

Methods inherited from class java.lang.Object

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

Field Detail

cs

protected final ConstraintSystem cs

Constructor Detail

VariableExtractor

public VariableExtractor(ConstraintSystem constraintSystem,
                         boolean includeGenerated)

Parameters:

constraintSystem - constraintSystem

includeGenerated - includeGenerated

Method Detail

getConstraintSystem

public ConstraintSystem getConstraintSystem()

Returns:

the constraintSystem

isIncludeGenerated

public boolean isIncludeGenerated()

Returns:

the includeGenerated

extractVariables

public Set<Variable<?>> extractVariables(org.semanticweb.owlapi.model.OWLObject owlObject)

Parameters:

owlObject - owlObject

Returns:

variables in the object

extractVariables

public Set<Variable<?>> extractVariables(OPPLFunction<?> opplFunction)

Parameters:

opplFunction - opplFunction

Returns:

variables in the function