Uses of Class
org.jacop.jasat.modules.ActivityModule

Packages that use ActivityModule

Package	Description
org.jacop.jasat.modules
org.jacop.satwrapper

Uses of ActivityModule in org.jacop.jasat.modules

Fields in org.jacop.jasat.modules declared as ActivityModule

Modifier and Type	Field and Description
ActivityModule	SearchModule.activity

Constructors in org.jacop.jasat.modules with parameters of type ActivityModule

Constructor and Description
HeuristicAssertionModule(ActivityModule activity)

Uses of ActivityModule in org.jacop.satwrapper

Fields in org.jacop.satwrapper declared as ActivityModule

Modifier and Type	Field and Description
ActivityModule	SatWrapper.activity