Uses of Class
org.eclipse.palamedes.gdl.core.ast.Init

Packages that use Init
org.eclipse.palamedes.gdl.core.ast   
 

Uses of Init in org.eclipse.palamedes.gdl.core.ast
 

Methods in org.eclipse.palamedes.gdl.core.ast that return types with arguments of type Init
 KIFSeq<Init> GDLForm.getRawInits()
          This method returns all init sentences.