Uses of Class
org.coode.oppl.ConstraintSystem

Packages that use ConstraintSystem

Package	Description
org.coode.oppl
org.coode.oppl.bindingtree
org.coode.oppl.function
org.coode.oppl.function.inline
org.coode.oppl.generated
org.coode.oppl.log
org.coode.oppl.querymatching
org.coode.oppl.queryplanner
org.coode.oppl.rendering
org.coode.oppl.search
org.coode.oppl.search.solvability
org.coode.oppl.utils
org.coode.oppl.variabletypes
org.coode.parsers.oppl

Uses of ConstraintSystem in org.coode.oppl

Methods in org.coode.oppl that return ConstraintSystem

Modifier and Type	Method and Description
ConstraintSystem	OPPLFactory.createConstraintSystem()
ConstraintSystem	OPPLAbstractFactory.createConstraintSystem() Creates a fresh instance of ConstraintSystem
ConstraintSystem	RegExpConstraint.getConstraintSystem()
ConstraintSystem	OPPLScriptImpl.getConstraintSystem()
ConstraintSystem	OPPLScript.getConstraintSystem()
ConstraintSystem	OPPLQueryImpl.getConstraintSystem()
ConstraintSystem	OPPLQuery.getConstraintSystem()
ConstraintSystem	NAFConstraint.getConstraintSystem()
ConstraintSystem	InequalityConstraint.getConstraintSystem()
ConstraintSystem	InCollectionConstraint.getConstraintSystem()

Methods in org.coode.oppl with parameters of type ConstraintSystem

Modifier and Type	Method and Description
OPPLQuery	OPPLFactory.buildNewQuery(ConstraintSystem constraintSystem1)
OPPLQuery	OPPLAbstractFactory.buildNewQuery(ConstraintSystem constraintSystem)
OPPLScript	OPPLFactory.buildOPPLScript(ConstraintSystem constraintSystem1, List<Variable<?>> variables, OPPLQuery opplQuery, List<org.semanticweb.owlapi.model.OWLAxiomChange> actions)
OPPLScript	OPPLAbstractFactory.buildOPPLScript(ConstraintSystem constraintSystem, List<Variable<?>> variables, OPPLQuery opplQuery, List<org.semanticweb.owlapi.model.OWLAxiomChange> actions)
static List<org.semanticweb.owlapi.model.OWLAxiomChange>	ActionFactory.createChanges(ActionType actionType, org.semanticweb.owlapi.model.OWLAxiom axiom, ConstraintSystem cs, org.semanticweb.owlapi.model.OWLOntology ontology, RuntimeExceptionHandler runtimeExcpetionHandler)
static List<org.semanticweb.owlapi.model.OWLAxiomChange>	ActionFactory.createChanges(ActionType actionType, org.semanticweb.owlapi.model.OWLAxiom axiom, ConstraintSystem cs, Set<org.semanticweb.owlapi.model.OWLOntology> ontologies, RuntimeExceptionHandler runtimeExceptionHandler)
static <T extends org.semanticweb.owlapi.model.OWLObject> InCollectionConstraint<T>	InCollectionConstraint.getInCollectionConstraint(Variable<T> variable, Collection<? extends T> collection, ConstraintSystem constraintSystem)
ManchesterSyntaxRenderer	OPPLFactory.getManchesterSyntaxRenderer(ConstraintSystem cs)
ManchesterSyntaxRenderer	OPPLAbstractFactory.getManchesterSyntaxRenderer(ConstraintSystem cs)
OWLEntityRenderer	OPPLFactory.getOWLEntityRenderer(ConstraintSystem cs)
OWLEntityRenderer	OPPLAbstractFactory.getOWLEntityRenderer(ConstraintSystem cs)
AbstractConstraint	OPPLParser.parseConstraint(String input, OPPLSymbolTable symbolTable, ConstraintSystem constraintSystem)
Variable<?>	OPPLParser.parseOPPLFunction(String input, Variable<?> variable, OPPLSymbolTable symbolTable, ConstraintSystem constraintSystem)
Variable<?>	OPPLParser.parseRegExp(String input, Variable<?> variable, OPPLSymbolTable symbolTable, ConstraintSystem constraintSystem)
String	Renderable.render(ConstraintSystem constraintSystem)
String	RegExpConstraint.render(ConstraintSystem cs)
String	PropertyVariableScope.render(ConstraintSystem constraintSystem)
String	OPPLScriptImpl.render(ConstraintSystem cs)
String	OPPLQueryImpl.render(ConstraintSystem cs)
String	NAFConstraint.render(ConstraintSystem cs)
String	InequalityConstraint.render(ConstraintSystem cs)
String	IndividualVariableScope.render(ConstraintSystem constraintSystem)
String	InCollectionConstraint.render(ConstraintSystem cs)
String	ClassVariableScope.render(ConstraintSystem constraintSystem)

Constructors in org.coode.oppl with parameters of type ConstraintSystem

Constructor and Description
InCollectionConstraint(Variable<P> variable, Collection<? extends P> collection, ConstraintSystem constraintSystem)
InequalityConstraint(Variable<?> variable, org.semanticweb.owlapi.model.OWLObject expression, ConstraintSystem constraintSystem)
NAFConstraint(org.semanticweb.owlapi.model.OWLAxiom axiom, ConstraintSystem constraintSystem)
OPPLQueryImpl(ConstraintSystem constraintSystem, OPPLAbstractFactory factory)
OPPLScriptImpl(ConstraintSystem constraintSystem, List<Variable<?>> variables, OPPLQuery query, List<org.semanticweb.owlapi.model.OWLAxiomChange> actions, OPPLAbstractFactory factory)
OPPLScriptImpl(ConstraintSystem constraintSystem, List<Variable<?>> variables, OPPLQuery query, List<org.semanticweb.owlapi.model.OWLAxiomChange> actions, OPPLAbstractFactory factory, boolean resetExecution)
RegExpConstraint(Variable<?> variable, OPPLFunction<Pattern> exp, ConstraintSystem cs)

Uses of ConstraintSystem in org.coode.oppl.bindingtree

Methods in org.coode.oppl.bindingtree with parameters of type ConstraintSystem

Modifier and Type	Method and Description
String	BindingNode.render(ConstraintSystem cs)

Uses of ConstraintSystem in org.coode.oppl.function

Methods in org.coode.oppl.function that return ConstraintSystem

Modifier and Type	Method and Description
ConstraintSystem	ValueComputationParameters.getConstraintSystem()
ConstraintSystem	SimpleValueComputationParameters.getConstraintSystem()

Methods in org.coode.oppl.function with parameters of type ConstraintSystem

Modifier and Type	Method and Description
String	VariableAttribute.render(ConstraintSystem constraintSystem)
String	ToUpperCaseStringManipulationOPPLFunction.render(ConstraintSystem constraintSystem)
String	ToLowerCaseStringManipulationOPPLFunction.render(ConstraintSystem constraintSystem)
String	GroupVariableAttribute.render(ConstraintSystem constraintSystem)
String	Expression.render(ConstraintSystem constraintSystem)
String	Create.render(ConstraintSystem constraintSystem)
String	Constant.render(ConstraintSystem constraintSystem)
protected static <I> String	Adapter.renderAggregandum(Aggregandum<I> aggregandum, ConstraintSystem constraintSystem)
protected String	Aggregation.renderAggregation(ConstraintSystem constraintSystem, String prefix, String openDelimiter, String separator, String closedDelimiter)
OPPLFunction<org.semanticweb.owlapi.model.IRI>	IRIVariableAttribute.replace(Variable<?> v, org.semanticweb.owlapi.model.OWLObject owlObject, ConstraintSystem constraintSystem, RuntimeExceptionHandler handler)
OPPLFunction<String>	GroupVariableAttribute.replace(Variable<?> v, org.semanticweb.owlapi.model.OWLObject owlObject, ConstraintSystem constraintSystem, RuntimeExceptionHandler handler)

Constructors in org.coode.oppl.function with parameters of type ConstraintSystem

Constructor and Description
SimpleValueComputationParameters(ConstraintSystem constraintSystem, BindingNode bindingNode, RuntimeExceptionHandler runtimeExceptionHandler)

Uses of ConstraintSystem in org.coode.oppl.function.inline

Methods in org.coode.oppl.function.inline with parameters of type ConstraintSystem

Modifier and Type	Method and Description
static <P extends org.semanticweb.owlapi.model.OWLObject> InlineSet<P>	InlineSet.buildInlineSet(org.semanticweb.owlapi.model.OWLDataFactory dataFactory, ConstraintSystem constraintSystem, VariableType<P> variableType, Collection<? extends InlineSet<P>> components, P... objects)
String	InlineSet.render(ConstraintSystem constraintSystem)

Constructors in org.coode.oppl.function.inline with parameters of type ConstraintSystem

Constructor and Description
InlineSet(VariableType<? extends O> variableType, Collection<? extends Aggregandum<Collection<? extends O>>> aggregandums, org.semanticweb.owlapi.model.OWLDataFactory dataFactory, ConstraintSystem constraintSystem)

Uses of ConstraintSystem in org.coode.oppl.generated

Methods in org.coode.oppl.generated with parameters of type ConstraintSystem

Modifier and Type	Method and Description
String	RegexpGeneratedVariable.render(ConstraintSystem constraintSystem)
String	GeneratedVariable.render(ConstraintSystem constraintSystem)

Uses of ConstraintSystem in org.coode.oppl.log

Methods in org.coode.oppl.log with parameters of type ConstraintSystem

Modifier and Type	Method and Description
void	Logger.info(Renderable c, ConstraintSystem cv)
void	Logger.info(String message, Renderable c, ConstraintSystem cv, Object o)
void	Logger.log(String message, Renderable c, ConstraintSystem cv, Object o)

Uses of ConstraintSystem in org.coode.oppl.querymatching

Methods in org.coode.oppl.querymatching that return ConstraintSystem

Modifier and Type	Method and Description
ConstraintSystem	InferredTreeSearchAxiomQuery.getConstraintSystem()
ConstraintSystem	InferredSolvabilityBasedTreeSearchAxiomQuery.getConstraintSystem()
ConstraintSystem	AssertedTreeSearchSingleAxiomQuery.getConstraintSystem()
ConstraintSystem	AssertedTreeSearchAxiomQuery.getConstraintSystem()
ConstraintSystem	AssertedSolvabilityBasedAxiomQuery.getConstraintSystem()

Constructors in org.coode.oppl.querymatching with parameters of type ConstraintSystem

Constructor and Description
AssertedSolvabilityBasedAxiomQuery(org.semanticweb.owlapi.model.OWLOntologyManager m, ConstraintSystem constraintSystem, RuntimeExceptionHandler runtimeExceptionHandler)
AssertedTreeSearchAxiomQuery(Set<org.semanticweb.owlapi.model.OWLOntology> ontologies, ConstraintSystem constraintSystem, RuntimeExceptionHandler runtimeExceptionHandler)
AssertedTreeSearchSingleAxiomQuery(Set<org.semanticweb.owlapi.model.OWLOntology> ontologies, ConstraintSystem constraintSystem, RuntimeExceptionHandler runtimeExceptionHandler)
InferredSolvabilityBasedTreeSearchAxiomQuery(ConstraintSystem constraintSystem, RuntimeExceptionHandler runtimeExceptionHandler)
InferredTreeSearchAxiomQuery(ConstraintSystem constraintSystem, RuntimeExceptionHandler runtimeExceptionHandler)

Uses of ConstraintSystem in org.coode.oppl.queryplanner

Methods in org.coode.oppl.queryplanner that return ConstraintSystem

Modifier and Type	Method and Description
ConstraintSystem	ComplexityEstimate.getConstraintSystem()
ConstraintSystem	AbstractQueryPlannerItem.getConstraintSystem()

Constructors in org.coode.oppl.queryplanner with parameters of type ConstraintSystem

Constructor and Description
AbstractQueryPlannerItem(ConstraintSystem constraintSystem)
AssertedAxiomPlannerItem(ConstraintSystem constraintSystem, org.semanticweb.owlapi.model.OWLAxiom axiom)
ComplexityEstimate(ConstraintSystem contraintSystem, RuntimeExceptionHandler runtimeExceptionHandler)
ConstraintQueryPlannerItem(ConstraintSystem constraintSystem, AbstractConstraint constraint)
InferredAxiomQueryPlannerItem(ConstraintSystem constraintSystem, org.semanticweb.owlapi.model.OWLAxiom axiom)

Uses of ConstraintSystem in org.coode.oppl.rendering

Methods in org.coode.oppl.rendering that return ConstraintSystem

Modifier and Type	Method and Description
ConstraintSystem	VariableOWLEntityRenderer.getConstraintSystem()

Methods in org.coode.oppl.rendering with parameters of type ConstraintSystem

Modifier and Type	Method and Description
void	VariableOWLEntityRenderer.setConstraintSystem(ConstraintSystem constraintSystem)

Constructors in org.coode.oppl.rendering with parameters of type ConstraintSystem

Constructor and Description
VariableOWLEntityRenderer(ConstraintSystem constraintSystem, OWLEntityRenderer delegate) Builds a VariableOWLEntityRenderer from a generic one and a ConstraintSystem instance.

Uses of ConstraintSystem in org.coode.oppl.search

Fields in org.coode.oppl.search declared as ConstraintSystem

Modifier and Type	Field and Description
protected ConstraintSystem	OPPLAssertedSingleOWLAxiomSearchTree.constraintSystem

Methods in org.coode.oppl.search that return ConstraintSystem

Modifier and Type	Method and Description
ConstraintSystem	OPPLAssertedSingleOWLAxiomSearchTree.getConstraintSystem()
ConstraintSystem	AbstractOPPLAxiomSearchTree.getConstraintSystem()

Constructors in org.coode.oppl.search with parameters of type ConstraintSystem

Constructor and Description
AbstractOPPLAxiomSearchTree(ConstraintSystem constraintSystem, RuntimeExceptionHandler runtimeExceptionHandler)
OPPLAssertedOWLAxiomSearchTree(ConstraintSystem constraintSystem, RuntimeExceptionHandler runtimeExceptionHandler)
OPPLAssertedSingleOWLAxiomSearchTree(org.semanticweb.owlapi.model.OWLAxiom targetAxiom, ConstraintSystem constraintSystem, RuntimeExceptionHandler runtimeExceptionHandler)
OPPLInferredOWLAxiomSearchTree(ConstraintSystem constraintSystem, RuntimeExceptionHandler runtimeExceptionHandler)

Uses of ConstraintSystem in org.coode.oppl.search.solvability

Methods in org.coode.oppl.search.solvability that return ConstraintSystem

Modifier and Type	Method and Description
ConstraintSystem	AbstractSolvabilityOPPLOWLAxiomSearchTree.getConstraintSystem()
ConstraintSystem	AbstractAxiomSolvability.getConstraintSystem()

Constructors in org.coode.oppl.search.solvability with parameters of type ConstraintSystem

Constructor and Description
AbstractAxiomSolvability(ConstraintSystem constraintSystem)
AbstractSolvabilityOPPLOWLAxiomSearchTree(ConstraintSystem constraintSystem, RuntimeExceptionHandler runtimeExceptionHandler)
AssertedSolvabilitySearchTree(ConstraintSystem constraintSystem, org.semanticweb.owlapi.model.OWLOntologyManager ontologyManager, RuntimeExceptionHandler runtimeExceptionHandler)
InferredSolvabilitySearchTree(ConstraintSystem constraintSystem, RuntimeExceptionHandler runtimeExceptionHandler)
NoResultsAxiomSolvability(ConstraintSystem constraintSystem, QuerySolver querySolver)
OWLClassSubClassOfAxiomSolvability(ConstraintSystem constraintSystem, QuerySolver querySolver)
OWLObjectPropertyFillersAxiomSolvability(ConstraintSystem constraintSystem, QuerySolver querySolver)
QuerySolverBasedAbstractAxiomSolvability(ConstraintSystem constraintSystem, QuerySolver querySolver)

Uses of ConstraintSystem in org.coode.oppl.utils

Fields in org.coode.oppl.utils declared as ConstraintSystem

Modifier and Type	Field and Description
protected ConstraintSystem	AbstractVariableDetector.constraintSystem
protected ConstraintSystem	VariableExtractor.cs

Methods in org.coode.oppl.utils that return ConstraintSystem

Modifier and Type	Method and Description
ConstraintSystem	VariableExtractor.getConstraintSystem()

Methods in org.coode.oppl.utils with parameters of type ConstraintSystem

Modifier and Type	Method and Description
static Set<Variable<?>>	OPPLVariableMatcher.matches(String name, ConstraintSystem constraintSystem, boolean matchClasses, boolean matchObjectProperties, boolean matchDataProperties, boolean matchIndividuals, boolean matchConstants, boolean matchAnnotationProperty)

Constructors in org.coode.oppl.utils with parameters of type ConstraintSystem

Constructor and Description
AbstractVariableDetector(ConstraintSystem constraintSystem)
NamedVariableDetector(Variable<?> variable, ConstraintSystem constraintSystem)
VariableDetector(ConstraintSystem constraintSystem)
VariableExtractor(ConstraintSystem constraintSystem, boolean includeGenerated)

Uses of ConstraintSystem in org.coode.oppl.variabletypes

Methods in org.coode.oppl.variabletypes with parameters of type ConstraintSystem

Modifier and Type	Method and Description
String	InputVariable.render(ConstraintSystem constraintSystem)

Uses of ConstraintSystem in org.coode.parsers.oppl

Methods in org.coode.parsers.oppl that return ConstraintSystem

Modifier and Type	Method and Description
ConstraintSystem	OPPLTypesParts.getConstraintSystem()
ConstraintSystem	OPPLTypes.getConstraintSystem()
ConstraintSystem	OPPLDefine.getConstraintSystem()

Methods in org.coode.parsers.oppl with parameters of type ConstraintSystem

Modifier and Type	Method and Description
OPPLFunction<String>	OPPLSymbolTable.defineGroupAttributeReferenceSymbol(OPPLSyntaxTree variableSyntaxTree, ManchesterOWLSyntaxTree indexNode, ConstraintSystem constraintSystem)
VariableAttribute<String>	OPPLSymbolTable.defineRenderingAttributeReferenceSymbol(OPPLSyntaxTree variableSyntaxTree, ConstraintSystem constraintSystem)
VariableAttribute<?>	OPPLSymbolTable.defineValuesAttributeReferenceSymbol(OPPLSyntaxTree variableSyntaxTree, ConstraintSystem constraintSystem)
void	OPPLSymbolTable.defineVariable(ManchesterOWLSyntaxTree identifier, ManchesterOWLSyntaxTree variableType, ConstraintSystem constraintSystem)
void	OPPLSymbolTable.defineVariableIRI(OPPLSyntaxTree iriTree, OPPLSyntaxTree variableNameTree, ConstraintSystem constraintSystem)
org.semanticweb.owlapi.model.OWLAxiom	OPPLSymbolTable.getDifferentIndividualsAxiom(OPPLSyntaxTree opplSyntaxTree, List<Aggregandum<?>> list, List<OPPLSyntaxTree> tokenList, ConstraintSystem constraintSystem)
org.semanticweb.owlapi.model.OWLAxiom	OPPLSymbolTable.getDisjointAxiom(OPPLSyntaxTree expression, Collection<? extends Aggregandum<?>> aggregandums, List<OPPLSyntaxTree> aggregdandumTrees, ConstraintSystem constraintSystem)
InequalityConstraint	OPPLSymbolTable.getInequalityConstraint(OPPLSyntaxTree parentExpression, OPPLSyntaxTree variableIdentifier, OPPLSyntaxTree expression, ConstraintSystem constraintSystem)
InCollectionConstraint<org.semanticweb.owlapi.model.OWLObject>	OPPLSymbolTable.getInSetConstraint(OPPLSyntaxTree parentExpression, OPPLSyntaxTree v, ConstraintSystem constraintSystem, OPPLSyntaxTree... elements)
org.semanticweb.owlapi.model.OWLAxiom	OPPLSymbolTable.getSameIndividualAxiom(OPPLSyntaxTree opplSyntaxTree, List<Aggregandum<?>> list, List<OPPLSyntaxTree> tokenList, ConstraintSystem constraintSystem)
Variable<?>	OPPLSymbolTable.getVariable(OPPLSyntaxTree identifier, ConstraintSystem constraintSystem)
void	OPPLSymbolTable.importConstraintSystem(ConstraintSystem constraintSystem) Import all the variables in the input ConstraintSystem into this OPPLSymbolTable.

Constructors in org.coode.parsers.oppl with parameters of type ConstraintSystem

Constructor and Description
OPPLDefine(org.antlr.runtime.tree.TreeNodeStream input, OPPLSymbolTable symtab, ErrorListener errorListener, ConstraintSystem constraintSystem)
OPPLTypes(org.antlr.runtime.tree.TreeNodeStream input, OPPLSymbolTable symtab, ErrorListener errorListener, ConstraintSystem constraintSystem, OPPLAbstractFactory opplFactory)
OPPLTypesParts(org.antlr.runtime.tree.TreeNodeStream input, OPPLSymbolTable symtab, ErrorListener errorListener, ConstraintSystem constraintSystem, OPPLAbstractFactory opplFactory)