Uses of Class
lij.model.Role

Packages that use Role
lij.model Classes that together constitute the data model of an LCC protocl. 
 

Uses of Role in lij.model
 

Fields in lij.model with type parameters of type Role
private  java.util.HashMap<Term,Role> Framework.roles
           
 

Methods in lij.model that return Role
 Role Framework.getInitialRole()
          Returns the Role definition that is of the kind "initial".
 

Methods in lij.model that return types with arguments of type Role
 java.util.HashMap<Term,Role> Framework.getRoles()
          Accessor.
 

Methods in lij.model with parameters of type Role
 void Framework.addRole(Role newRole)
          Adds a new Role into the Framework's map of Role definitions.