Filter by API Level:
Package Index
|
Class Index
uk.ac.imperial.presage2.core
uk.ac.imperial.presage2.core.cli
uk.ac.imperial.presage2.core.cli.run
uk.ac.imperial.presage2.core.db
uk.ac.imperial.presage2.core.db.persistent
uk.ac.imperial.presage2.core.environment
uk.ac.imperial.presage2.core.event
uk.ac.imperial.presage2.core.messaging
uk.ac.imperial.presage2.core.network
uk.ac.imperial.presage2.core.participant
uk.ac.imperial.presage2.core.plugin
uk.ac.imperial.presage2.core.simulator
uk.ac.imperial.presage2.core.util.random
uk.ac.imperial.presage2.rules
uk.ac.imperial.presage2.rules.facts
uk.ac.imperial.presage2.rules.facts.location
uk.ac.imperial.presage2.util.environment
uk.ac.imperial.presage2.util.fsm
uk.ac.imperial.presage2.util.location
uk.ac.imperial.presage2.util.location.area
uk.ac.imperial.presage2.util.network
uk.ac.imperial.presage2.util.participant
uk.ac.imperial.presage2.util.protocols
Classes
Random
Annotations
RandomSeed
Package Index
|
Class Index
Since:
API Level 0.3.5
package
uk.ac.imperial.presage2.core.util.random
Classes
Random
This is a wrapper for java.util.Random to provide static access to most of it's methods via a singleton, and to control the initial random seed.