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. |