model.logic
Class MSS

java.lang.Object
  model.logic.MSS

public class MSS
extends java.lang.Object

This class represents a maximal satisfiable set (MSS). Basically, it is a set of formulae with a name and an id. A Shapley score (initially 0) is also associated to a MSS.

Author:

stephanieroussel

Constructor Summary

MSS(java.util.List<Formula> formulae, long id, java.lang.String name)

MSS(long id, java.lang.String name)

Method Summary

void	addFormule(Formula formula)
java.util.List<Formula>	getFormulae()
long	getId()
java.lang.String	getName()
double	getScore()
void	setFormulae(java.util.List<Formula> formulae)
void	setId(long id)
void	setName(java.lang.String name)
void	setScore(double score)
java.lang.String	toLongString()
java.lang.String	toString()
java.lang.String	toTableString()

Methods inherited from class java.lang.Object

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

Constructor Detail

MSS

public MSS(java.util.List<Formula> formulae,
           long id,
           java.lang.String name)

MSS

public MSS(long id,
           java.lang.String name)

Method Detail

getFormulae

public java.util.List<Formula> getFormulae()

setFormulae

public void setFormulae(java.util.List<Formula> formulae)

addFormule

public void addFormule(Formula formula)

getId

public long getId()

setId

public void setId(long id)

getName

public java.lang.String getName()

setName

public void setName(java.lang.String name)

toTableString

public java.lang.String toTableString()

getScore

public double getScore()

setScore

public void setScore(double score)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

toLongString

public java.lang.String toLongString()