partage
Class ComplexInstance.WeightedLogicalObjectFormula

java.lang.Object
  partage.ComplexInstance.WeightedLogicalObjectFormula

Enclosing class:

ComplexInstance

public static class ComplexInstance.WeightedLogicalObjectFormula
extends java.lang.Object

A static class implementing a weighted propositional formula (for representing the agents' preferences)

Version:

july 2007

Author:

Sylvain Bouveret

Constructor Summary

ComplexInstance.WeightedLogicalObjectFormula(ComplexInstance.LogicalObjectFormula _formula, int _weight)

Method Summary

ComplexInstance.LogicalObjectFormula	getFormula()
int	getWeight()
java.lang.String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ComplexInstance.WeightedLogicalObjectFormula

public ComplexInstance.WeightedLogicalObjectFormula(ComplexInstance.LogicalObjectFormula _formula,
                                                    int _weight)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getFormula

public ComplexInstance.LogicalObjectFormula getFormula()

Returns:

the formula

getWeight

public int getWeight()

Returns:

the weight