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.
 



Copyright © 2004-2008 Ontotext Lab.. All Rights Reserved.