Uses of Interface
org.omwg.logicalexpression.ExistentialQuantification

Packages that use ExistentialQuantification

org.omwg.logicalexpression
org.wsmo.factory

Uses of ExistentialQuantification in org.omwg.logicalexpression

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

void	Visitor.visitExistentialQuantification(ExistentialQuantification expr)

Uses of ExistentialQuantification in org.wsmo.factory

Methods in org.wsmo.factory that return ExistentialQuantification

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