PPS-22-Virsim
PPS-22-Virsim
it.unibo.pps.boundary
BoundaryModule
Boundary
ConfigBoundary
Interface
Provider
ViewUtils
StatsDisplayer
it.unibo.pps.boundary.component
EventSource
Events
Event
ChangeSpeed
VaccineRound
SwitchStructure
Params
Speed
it.unibo.pps.boundary.component.drawable
Drawable
it.unibo.pps.boundary.component.panel
Panels
BasePanel
EventablePanel
UpdatablePanel
it.unibo.pps.control.engine
EngineModule
Component
EngineImpl
Engine
Interface
Provider
SimulationComponent
Simulation
SimulationParameters
it.unibo.pps.control.engine.config
Configurations
EngineSpeed
EngineSpeed
given_Conversion_Speed_EngineSpeed
EngineStatus
EngineConfiguration
SimulationConfig
given_SimulationConfig
it.unibo.pps.control.engine.logics
Logic
EventLogic
UpdateLogic
it.unibo.pps.control.engine.logics.entitygoal
EntityGoalLogic
EntityGoalUpdateLogic
it.unibo.pps.control.engine.logics.entitystate
EntityStateLogic
UpdateEntityStateLogic
HospitalRecoveryLogic
HospitalizationLogic
HospitalizeEntityLogic
it.unibo.pps.control.engine.logics.entrance
EntranceLogic
it.unibo.pps.control.engine.logics.exit
ExitLogic
it.unibo.pps.control.engine.logics.infection
InfectionLogic
ExternalInfectionLogic
ExternalProbableInfection
InternalInfectionLogic
InternalProbableInfection
it.unibo.pps.control.engine.logics.maskobligation
MaskObligationLogic
SwitchMaskObligationLogic
it.unibo.pps.control.engine.logics.movement
MovementLogic
it.unibo.pps.control.launcher
Launch
LauncherModule
Component
LauncherImpl
Interface
Launcher
Provider
it.unibo.pps.control.loader
LoaderModule
Component
LoaderImpl
Interface
Loader
Provider
it.unibo.pps.control.loader.configuration
ConfigurationComponent
Configuration
ConfigurationError
WRONG_PARAMETER
INVALID_FILE
ConfigurationResult
OK
ERROR
VirsimConfiguration
SimulationDefaults
GlobalDefaults
MAX_VALUES
MIN_VALUES
StructuresDefault
VirusDefaults
it.unibo.pps.control.loader.configuration.dsl
SimulationDSL
StructuresDSL
VirusDSL
it.unibo.pps.control.loader.extractor
EntitiesStats
Alive
AtHome
Deaths
Healthy
Infected
Sick
EnvironmentStats
Days
Hours
Minutes
Time
Extractor
DataExtractor
HospitalStats
HospitalFreeSeats
HospitalPressure
Hospitalized
HospitalsCapacity
StatisticalData
Stats
given_Conversion_Stats_DataExtractor
it.unibo.pps.control.parser
ParserModule
Interface
Parser
Provider
ReaderModule
FilePath
Interface
Provider
Reader
StringFilePath
YAMLParser
Component
ParserImpl
Interface
Provider
it.unibo.pps.entity.common
GaussianProperty
Gaussian
GaussianDurationTime
GaussianIntDistribution
ProblableEvents
ProbabilityResult
ProbabilityResult
given_Conversion_Boolean_ProbabilityResult
given_Conversion_ProbabilityResult_Boolean
Probable
ProbableGivenInstance
given_Probable_Double
given_Probable_ExternalProbableInfection
given_Probable_Int
given_Probable_InternalProbableInfection
ProbableOps
Space
Point2D
Point2D
given_Conversion_Int_Int_Point2D
Time
Period
TimeConfiguration
TimeStamp
TimeStamp
Utils
it.unibo.pps.entity.entity
Entities
HealthCalculator
SimulationEntity
SimulationEntity
EntityComponent
Entity
Immune
Infectious
Living
Masquerable
Moving
MovementGoal
Moving
EntityFactory
EntityFactory
Infection
Infection
Severity
SERIOUS
LIGHT
it.unibo.pps.entity.environment
EnvironmentModule
Component
Environment
EnvironmentImpl
Environment
Interface
Provider
it.unibo.pps.entity.structure
StructureComponent
Closable
Groupable
Habitable
Hospitalization
TreatmentQuality
Hospitalization
Structure
Visible
Structures
GenericBuilding
Hospital
House
SimulationStructure
it.unibo.pps.entity.structure.entrance
Entrance
BaseEntranceStrategy
EntranceStrategy
FilterBasedStrategy
ProbabilityBasedStrategy
Permanence
EntityPermanence
EntityPermanence
PermanenceStatus
it.unibo.pps.entity.virus
VirusComponent
Virus
VirusParameters
it.unibo.pps.js
Launcher
main
it.unibo.pps.js.boundary.gui
JSGUI
JSGUI
JSGUIModule
Component
JSGUIBoundaryImpl
Interface
Provider
Values
BootstrapClasses
SimulationColor
Text
it.unibo.pps.js.boundary.gui.component
MonadComponents
MonadButton
MonadButton
MonadConfigButton
MonadConfigButton
MonadSelect
MonadSelect
it.unibo.pps.js.boundary.gui.component.drawable
DrawableConcept
DrawableJS
DrawableOps
Drawables
given_DrawableJS_Environment
given_DrawableJS_SimulationEntity
given_DrawableJS_SimulationStructure
it.unibo.pps.js.boundary.gui.panel
BottomPanels
CommandPanel
DynamicActionsLog
DynamicConfigPanel
StatsPanel
SimulationCanvas
it.unibo.pps.js.parser
JSReader
Component
JSReaderImpl
Interface
JSFilePath
Provider
it.unibo.pps.jvm
Launcher
main
it.unibo.pps.jvm.boundary.exporter
ExporterModule
Component
FileExporterImpl
Exporter
Interface
Provider
it.unibo.pps.jvm.boundary.gui
GUIModule
Component
GUIBoundaryImpl
Interface
Provider
Utils
given_Conversion_Int_Int_Dimension
Values
Dimension
Margin
SimulationColor
Text
it.unibo.pps.jvm.boundary.gui.component
CustomSwingComponents
JNumericTextField
MonadComponents
MonadButton
MonadButton
MonadCombobox
MonadCombobox
MonadConfigButton
MonadConfigButton
it.unibo.pps.jvm.boundary.gui.component.drawable
DrawableConcept
DrawableOps
DrawableSwing
Drawables
given_DrawableSwing_Environment
given_DrawableSwing_SimulationEntity
given_DrawableSwing_SimulationStructure
it.unibo.pps.jvm.boundary.gui.frame
InitGUI
InitGUI
SimulationGUI
SimulationGUI
it.unibo.pps.jvm.boundary.gui.panel
BottomPanels
CommandPanel
DynamicActionsLog
DynamicConfigPanel
StatsPanel
ChartsPanel
SimulationPanel
it.unibo.pps.jvm.boundary.gui.panel.charts
Charts
Chart
MyChartPanel
DeathSickHealthyChart
InfectedBarChart
PieChart
it.unibo.pps.jvm.parser
JVMReader
Component
JVMReaderImpl
Interface
Provider
ScalaParser
Component
ParserImpl
Interface
Provider
it.unibo.pps.prolog
PrologEngine
PrologNextMovement
PPS-22-Virsim
/
it.unibo.pps.prolog
/
PrologEngine
PrologEngine
object
PrologEngine
Graph
Supertypes
Self type
class
Object
trait
Matchable
class
Any
PrologEngine
.type
Value members
Givens
Value members
Concrete methods
def
engine
(
goal:
Term
):
LazyList
[
Term
]
def
extractTerm
(
t:
Term
,
i:
Integer
):
Term
Givens
Givens
given
given_Conversion_Seq_Term
:
Conversion
[
Seq
[
_
],
Term
]
given
given_Conversion_String_Term
:
Conversion
[
String
,
Term
]