Uses of Class
io.konig.formula.AbstractFormula

Packages that use AbstractFormula

Package	Description
io.konig.formula

Uses of AbstractFormula in io.konig.formula

Subclasses of AbstractFormula in io.konig.formula

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