Uses of Class
io.konig.formula.QuantifiedExpression

Packages that use QuantifiedExpression

Package	Description
io.konig.cadl
io.konig.core.showl
io.konig.formula
io.konig.formula.builder
io.konig.shacl

Uses of QuantifiedExpression in io.konig.cadl

Methods in io.konig.cadl that return QuantifiedExpression

Modifier and Type	Method and Description
QuantifiedExpression	Dimension.getFormula()
QuantifiedExpression	HasFormula.getFormula()
QuantifiedExpression	Level.getFormula()
QuantifiedExpression	Measure.getFormula()
QuantifiedExpression	Attribute.getFormula()

Methods in io.konig.cadl with parameters of type QuantifiedExpression

Modifier and Type	Method and Description
void	Dimension.setFormula(QuantifiedExpression formula)
void	HasFormula.setFormula(QuantifiedExpression e)
void	Level.setFormula(QuantifiedExpression formula)
void	Measure.setFormula(QuantifiedExpression formula)
void	Attribute.setFormula(QuantifiedExpression e)

Uses of QuantifiedExpression in io.konig.core.showl

Methods in io.konig.core.showl with parameters of type QuantifiedExpression

Modifier and Type	Method and Description
Set<ShowlProperty>	ShowlTraverser.traverse(org.openrdf.model.URI variable, org.openrdf.model.URI owlClass, QuantifiedExpression formula)
Set<org.openrdf.model.URI>	ShowlTraverser.valueClass(org.openrdf.model.URI targetClass, QuantifiedExpression formula)

Uses of QuantifiedExpression in io.konig.formula

Methods in io.konig.formula that return QuantifiedExpression

Modifier and Type	Method and Description
QuantifiedExpression	FormulaBuilder.PathBuilder.build()
QuantifiedExpression	QuantifiedExpression.clone()
static QuantifiedExpression	QuantifiedExpression.fromString(String text)
QuantifiedExpression	FormulaBuilder.getFormula()
QuantifiedExpression	FormulaParser.quantifiedExpression(Reader reader)
QuantifiedExpression	FormulaParser.quantifiedExpression(String text)
QuantifiedExpression	FormulaParser.quantifiedExpression(String formula, org.openrdf.model.URI... terms)
QuantifiedExpression	Path2FormulaTranslator.toQuantifiedExpression(Path path)
static QuantifiedExpression	QuantifiedExpression.wrap(NumericExpression numeric)
static QuantifiedExpression	QuantifiedExpression.wrap(PrimaryExpression primary)
static QuantifiedExpression	QuantifiedExpression.wrap(ValueLogical valueLogical)

Methods in io.konig.formula with parameters of type QuantifiedExpression

Modifier and Type	Method and Description
void	FormulaConsumer.setFormula(QuantifiedExpression formula)
void	FormulaBuilder.setFormula(QuantifiedExpression formula)
void	FormulaBuilder.DummyFormulaConsumer.setFormula(QuantifiedExpression formula)
void	FormulaBuilder.FunctionBuilder.setFormula(QuantifiedExpression formula)
static PathExpression	PathExpression.toPathExpression(QuantifiedExpression formula)

Constructors in io.konig.formula with parameters of type QuantifiedExpression

Constructor and Description
QuantifiedExpression(QuantifiedExpression clone)

Uses of QuantifiedExpression in io.konig.formula.builder

Methods in io.konig.formula.builder that return QuantifiedExpression

Modifier and Type	Method and Description
QuantifiedExpression	ExpressionBuilder.getQuantifiedExpression()

Uses of QuantifiedExpression in io.konig.shacl

Methods in io.konig.shacl that return QuantifiedExpression

Modifier and Type	Method and Description
QuantifiedExpression	PropertyConstraint.getFormula()
QuantifiedExpression	Shape.getIriFormula()

Methods in io.konig.shacl with parameters of type QuantifiedExpression

Modifier and Type	Method and Description
void	PropertyConstraint.setFormula(QuantifiedExpression formula)
void	Shape.setIriFormula(QuantifiedExpression iriFormula)