Uses of Class
edu.ksu.cis.projects.bogor.module.config.Domain

Packages that use Domain

edu.ksu.cis.projects.bogor.module	Provide a generic framework for dataflow analysis on BIR transition systems.
edu.ksu.cis.projects.bogor.module.backtrack	Provides types and factories for "undo" operations.
edu.ksu.cis.projects.bogor.module.config
edu.ksu.cis.projects.bogor.module.state	Provides for Bogor state.
edu.ksu.cis.projects.bogor.module.value	Provides for Bogor values.

Uses of Domain in edu.ksu.cis.projects.bogor.module

Methods in edu.ksu.cis.projects.bogor.module that return types with arguments of type Domain

Pair<Domain,Boolean>	DefaultActionTaker.getOptionDomain(String id)
Pair<Domain,Boolean>	DefaultCounterExampleWriter.getOptionDomain(String id)
Pair<Domain,Boolean>	DefaultExpEvaluator.getOptionDomain(String id)
Pair<Domain,Boolean>	DefaultSchedulingStrategist.getOptionDomain(String id)
Pair<Domain,Boolean>	DefaultSearcher.getOptionDomain(String id)
Pair<Domain,Boolean>	DefaultStateManager.getOptionDomain(String id)
Pair<Domain,Boolean>	DefaultTransformer.getOptionDomain(String id)

Uses of Domain in edu.ksu.cis.projects.bogor.module.backtrack

Methods in edu.ksu.cis.projects.bogor.module.backtrack that return types with arguments of type Domain

Pair<Domain,Boolean>

DefaultBacktrackingInfoFactory.getOptionDomain(String id)

Uses of Domain in edu.ksu.cis.projects.bogor.module.config

Methods in edu.ksu.cis.projects.bogor.module.config that return Domain

static Domain	Domain.valueOf(String name) Returns the enum constant of this type with the specified name.
static Domain[]	Domain.values() Returns an array containing the constants of this enum type, in the order they're declared.

Methods in edu.ksu.cis.projects.bogor.module.config that return types with arguments of type Domain

Pair<Domain,Boolean>

ISelfDescribingModule.getOptionDomain(String id)

Uses of Domain in edu.ksu.cis.projects.bogor.module.state

Methods in edu.ksu.cis.projects.bogor.module.state that return types with arguments of type Domain

Pair<Domain,Boolean>

DefaultStateFactory.getOptionDomain(String id)

Uses of Domain in edu.ksu.cis.projects.bogor.module.value

Methods in edu.ksu.cis.projects.bogor.module.value that return types with arguments of type Domain

Pair<Domain,Boolean>

DefaultValueFactory.getOptionDomain(String id)