model.logic
Class MUS

java.lang.Object
  model.logic.MUS

public class MUS
extends java.lang.Object

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

Author:

stephanieroussel

Constructor Summary

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

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

Method Summary

void	addFormula(Formula formula)
java.util.List<Formula>	getFormulae()
long	getId()
java.lang.String	getName()
void	setFormulae(java.util.List<Formula> formulae)
void	setId(long id)
void	setName(java.lang.String name)
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

MUS

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

MUS

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

Method Detail

getFormulae

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

setFormulae

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

addFormula

public void addFormula(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()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

toLongString

public java.lang.String toLongString()