Uses of Class
org.protempa.ExtendedPropositionDefinition

Packages that use ExtendedPropositionDefinition

Package	Description
org.protempa

Uses of ExtendedPropositionDefinition in org.protempa

Subclasses of ExtendedPropositionDefinition in org.protempa

Modifier and Type	Class and Description
class	ExtendedParameterDefinition Represents an instance of an abstraction definition with optional constraints on the instance's duration.
class	TemporalExtendedAbstractParameterDefinition
class	TemporalExtendedParameterDefinition
class	TemporalExtendedPropositionDefinition

Methods in org.protempa that return types with arguments of type ExtendedPropositionDefinition

Modifier and Type	Method and Description
Set<ExtendedPropositionDefinition>	HighLevelAbstractionDefinition.getExtendedPropositionDefinitions() Gets the extended proposition definitions that are part of this abstraction definition.

Methods in org.protempa with parameters of type ExtendedPropositionDefinition

Modifier and Type	Method and Description
boolean	HighLevelAbstractionDefinition.add(ExtendedPropositionDefinition def) Adds an extended proposition definition.
boolean	ExtendedPropositionDefinition.hasEqualFields(ExtendedPropositionDefinition obj)
boolean	TemporalExtendedAbstractParameterDefinition.hasEqualFields(ExtendedPropositionDefinition obj)
boolean	TemporalExtendedParameterDefinition.hasEqualFields(ExtendedPropositionDefinition obj)
boolean	ExtendedParameterDefinition.hasEqualFields(ExtendedPropositionDefinition obj)
boolean	TemporalExtendedPropositionDefinition.hasEqualFields(ExtendedPropositionDefinition obj)
boolean	HighLevelAbstractionDefinition.remove(ExtendedPropositionDefinition def) Removes an extended proposition definition, and all relations involving it.