Uses of Interface
org.omwg.logicalexpression.UniversalQuantification

Packages that use UniversalQuantification

org.omwg.logicalexpression
org.wsmo.factory

Uses of UniversalQuantification in org.omwg.logicalexpression

Methods in org.omwg.logicalexpression with parameters of type UniversalQuantification

void	Visitor.visitUniversalQuantification(UniversalQuantification expr)

Uses of UniversalQuantification in org.wsmo.factory

Methods in org.wsmo.factory that return UniversalQuantification

UniversalQuantification	LogicalExpressionFactory.createUniversalQuantification(Set<Variable> variables, LogicalExpression expr) creates a universally quantified expression (e.g.
UniversalQuantification	LogicalExpressionFactory.createUniversalQuantification(Variable variable, LogicalExpression expr) creates a universally quantified expression (e.g.