partage
Class RandomComplexInstanceGenerator.PreferencesParameters

java.lang.Object
  extended by partage.RandomComplexInstanceGenerator.PreferencesParameters
Enclosing class:
RandomComplexInstanceGenerator

public static class RandomComplexInstanceGenerator.PreferencesParameters
extends java.lang.Object

A nested class for customizing the parameters for the agents' preferences.

Version:
July 2007
Author:
Sylvain Bouveret

Field Summary
 int maxConjunctiveTermSize
          The maximum conjunctive term size.
 int maxNumberOfConjunctiveTerms
          The maximum number of conjunctive terms per formula.
 int maxNumberOfFormulae
          The maximum number of formulae per agent.
 int maxWeight
          The maximum weight for a formula.
 int minConjunctiveTermSize
          The minimum conjunctive term size.
 int minNumberOfConjunctiveTerms
          The minimum number of conjunctive terms per formula.
 int minNumberOfFormulae
          The minimum number of formulae per agent.
 int minWeight
          The minimum weight for a formula.
 
Constructor Summary
RandomComplexInstanceGenerator.PreferencesParameters(int _minNumberOfFormulae, int _maxNumberOfFormulae, int _minNumberOfConjunctiveTerms, int _maxNumberOfConjunctiveTerms, int _minConjunctiveTermSize, int _maxConjunctiveTermSize, int _minWeight, int _maxWeight)
           
 
Method Summary
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

minNumberOfFormulae

public int minNumberOfFormulae
The minimum number of formulae per agent.


maxNumberOfFormulae

public int maxNumberOfFormulae
The maximum number of formulae per agent.


minNumberOfConjunctiveTerms

public int minNumberOfConjunctiveTerms
The minimum number of conjunctive terms per formula.


maxNumberOfConjunctiveTerms

public int maxNumberOfConjunctiveTerms
The maximum number of conjunctive terms per formula.


minConjunctiveTermSize

public int minConjunctiveTermSize
The minimum conjunctive term size.


maxConjunctiveTermSize

public int maxConjunctiveTermSize
The maximum conjunctive term size.


minWeight

public int minWeight
The minimum weight for a formula.


maxWeight

public int maxWeight
The maximum weight for a formula.

Constructor Detail

RandomComplexInstanceGenerator.PreferencesParameters

public RandomComplexInstanceGenerator.PreferencesParameters(int _minNumberOfFormulae,
                                                            int _maxNumberOfFormulae,
                                                            int _minNumberOfConjunctiveTerms,
                                                            int _maxNumberOfConjunctiveTerms,
                                                            int _minConjunctiveTermSize,
                                                            int _maxConjunctiveTermSize,
                                                            int _minWeight,
                                                            int _maxWeight)