|
Class Summary |
| ComplexInstance |
This class describes an instance of a resource allocation problem
with logical preferences and constraints. |
| ComplexInstance.AbstractIntegerAggregator |
This static abstract class represents an aggregation operator
for aggregating weights into individual utilities, and individual utilities
into collective utility. |
| ComplexInstance.GenericObjectAgentFormula |
A static class representing a generic propositional formula made of an array of
subformulae, and a logical operator, on the set of alloc(object, agent). |
| ComplexInstance.GenericObjectFormula |
A static class representing a generic propositional formula made of an array of
subformulae, and a logical operator, on the set of objects. |
| ComplexInstance.LogicalConstraint |
A static class implementing a constraint expressed on the propositional
language over the variables alloc(object, agent). |
| ComplexInstance.MaxAggregator |
An implementation of a real aggregator which computes the max of the weights. |
| ComplexInstance.MinAggregator |
An implementation of a real aggregator which computes the min of the weights. |
| ComplexInstance.ObjectAgentAtom |
A static class representing an atomic propositional variable (i.e. an alloc(object, agent)). |
| ComplexInstance.ObjectAgentClause |
A static class representing a clause of litterals alloc(o,i) or
not(alloc(o,i)). |
| ComplexInstance.ObjectAgentDNF |
A static class representing a propositional logical formula of alloc(o, i) in disjunctive normal
form (allows for a more efficient processing of this kind of preferences). |
| ComplexInstance.ObjectAtom |
A static class representing an atomic propositional variable (i.e. an object). |
| ComplexInstance.ObjectCNF |
A static class representing a propositional logical formula of objects in conjunctive normal
form (allows for a more efficient processing of this kind of preferences). |
| ComplexInstance.ObjectDNF |
A static class representing a propositional logical formula of objects in disjunctive normal
form (allows for a more efficient processing of this kind of preferences). |
| ComplexInstance.PreemptionConstraint |
A static class implementing the Preemption constraint on a set of objects. |
| ComplexInstance.SumAggregator |
An implementation of a real aggregator which computes the sum of the weights. |
| ComplexInstance.VolumeConstraint |
A static class implementing the Volume constraint on a set of objects. |
| ComplexInstance.WeightedLogicalObjectFormula |
A static class implementing a weighted propositional formula (for representing
the agents' preferences) |
| PleiadesComplexInstanceGenerator |
This class generates a random instance of the resource allocation problem with
logical constraints and preferences, that aims at simulating an instance of the
real-world problem of sharing the Earth Observation Satellites constellation
Pleiades. |
| PleiadesComplexInstanceGenerator.ConsumptionRightsParameters |
A nested class for customizing all the parameters concerning
the consumption rights of the instance. |
| PleiadesComplexInstanceGenerator.RequestsParameters |
A static class for representing the requests parameters of the Pleiades instance. |
| PleiadesComplexInstanceGenerator.VolumeConstraintParameters |
A nested class for customizing all the parameters concerning
the volume constraint parameters of the instance. |
| RandomComplexInstanceGenerator |
This class generates a random instance of the resource allocation problem with
logical constraints and preferences. |
| RandomComplexInstanceGenerator.ExclusiveBundleConstraintsParameters |
A nested class for customizing the parameters for the constraints concerning
exclusive bundles. |
| RandomComplexInstanceGenerator.ParticularConstraintsParameters |
A nested class for customizing the parameters for the particular constraints,
forbidding a particular object to a particular agent. |
| RandomComplexInstanceGenerator.PreferencesParameters |
A nested class for customizing the parameters for the agents' preferences. |
| SpotComplexInstanceGenerator |
This class generates a random instance of the resource allocation problem with
logical constraints and preferences, that aims at simulating an instance of the
real-world problem of sharing the Earth Observation Satellites constellation
Spot. |
| SpotComplexInstanceGenerator.ConstellationParameters |
This static class represents the parameters of the constellation considered. |
| SpotComplexInstanceGenerator.RequestsParameters |
A static class for representing the requests parameters of the Spot instance. |
| SpotComplexInstanceGenerator.ResourceConsumptionParameters |
This static class represents the parameters for the resource consumption
constraints. |