Uses of Interface
io.konig.formula.Formula

Packages that use Formula

Package	Description
io.konig.core.showl.expression
io.konig.formula

Uses of Formula in io.konig.core.showl.expression

Methods in io.konig.core.showl.expression with parameters of type Formula

Modifier and Type	Method and Description
ShowlExpression	ShowlExpressionBuilder.expression(ShowlPropertyShape p, Formula formula)

Uses of Formula in io.konig.formula

Subinterfaces of Formula in io.konig.formula

Modifier and Type	Interface and Description
interface	AdditiveExpression
interface	BuiltInCall
interface	IriValue An expression that MAY represent an IRI value such as a fully-qualified IRI, a CURIE, or local name (together with a context).
interface	NumericExpression
interface	PathStep
interface	PathTerm
interface	PrimaryExpression
interface	RelationalExpression
interface	ValueLogical

Classes in io.konig.formula that implement Formula

Modifier and Type	Class and Description
class	AbstractFormula
class	Addend
class	AdditiveOperator
class	BareExpression
class	BasicExpression
class	BinaryOperator
class	BinaryRelationalExpression
class	BoundFunction
class	BrackettedExpression
class	BuiltInName
class	CaseStatement
class	ConditionalAndExpression
class	ConditionalExpression
class	ConditionalOrExpression
class	ContainmentOperator
class	CurieValue
class	Direction
class	DirectionStep
class	Expression
class	ExpressionList
class	Factor
class	FullyQualifiedIri
class	FunctionExpression
class	GeneralAdditiveExpression
class	HasPathStep
class	IfFunction
class	IriTemplateExpression
class	ListRelationalExpression
class	LiteralFormula
class	LocalNameTerm
class	MultiplicativeExpression
class	MultiplicativeOperator
class	ObjectList
class	PathExpression
class	PredicateObjectList
class	QuantifiedExpression
class	SetFunctionExpression
class	TimeUnit
class	Triple
class	UnaryExpression
class	UnaryOperator
class	VariableTerm
class	WhenThenClause

Methods in io.konig.formula that return Formula

Modifier and Type	Method and Description
abstract Formula	AbstractFormula.clone()

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

Modifier and Type	Method and Description
void	FormulaVisitor.enter(Formula formula)
void	HasAggregationVisitor.enter(Formula formula)
void	FormulaVisitor.exit(Formula formula)
void	HasAggregationVisitor.exit(Formula formula)
static String	FormulaUtil.simpleString(Formula formula)
Path	Formula2PathTranslator.toPath(Formula formula)