Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

Uses of Class
ubc.cs.JLog.Builtins.Goals.jNameGoal

Packages that use jNameGoal
ubc.cs.JLog.Builtins   
 

Uses of jNameGoal in ubc.cs.JLog.Builtins
 

Methods in ubc.cs.JLog.Builtins with parameters of type jNameGoal
 boolean jName.prove(jNameGoal ng)
           
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    
Copyright © 2011. All Rights Reserved.