model.logic
Class FormulaeBase

java.lang.Object
  model.logic.FormulaeBase

public class FormulaeBase
extends java.lang.Object

This class represents a base of general formulae

Author:

stephanieroussel

Constructor Summary

FormulaeBase(java.util.List<Formula> formules, long id, java.lang.String nom, boolean isComingFromFile, java.lang.String originalFileName)

FormulaeBase(java.util.List<Formula> formules, long id, java.lang.String nom, boolean isComingFromFile, java.lang.String originalFileName, boolean leaveIdFormula)

FormulaeBase(java.util.List<Formula> formules, java.lang.String nom, boolean leaveIdFormula)

FormulaeBase(long id, java.lang.String nom, boolean origineFichier, java.lang.String nomFichierOrigine)

Method Summary

void	addFormula(Formula f)
void	computeListeClauses()
void	computeListeVariables()
FormulaeBase	copy()
java.util.List<Clause>	getClauses()
Formula	getFormula(int id)
java.util.List<Formula>	getFormulae()
long	getId()
java.lang.String	getName()
int	getNbVariables()
int	getNextFreeClauseId()
int	getNextFreeFormuleId()
int	getNextFreeVariableId()
java.lang.String	getOriginalFileName()
java.util.List<Variable>	getVariables()
boolean	isComingFromFile()
void	isComingFromFile(boolean isComingFromFile)
void	removeAllFormulae()
void	removeFormula(Formula f)
void	removeFormulae(java.util.List<Formula> l)
void	renumber()
void	setFormulae(java.util.List<Formula> formulae)
void	setId(long id)
void	setName(java.lang.String name)
void	setOriginaleFileName(java.lang.String originalFileName)
void	sortFormulae()
java.lang.String	toLongString()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

FormulaeBase

public FormulaeBase(java.util.List<Formula> formules,
                    long id,
                    java.lang.String nom,
                    boolean isComingFromFile,
                    java.lang.String originalFileName)

FormulaeBase

public FormulaeBase(java.util.List<Formula> formules,
                    long id,
                    java.lang.String nom,
                    boolean isComingFromFile,
                    java.lang.String originalFileName,
                    boolean leaveIdFormula)

FormulaeBase

public FormulaeBase(java.util.List<Formula> formules,
                    java.lang.String nom,
                    boolean leaveIdFormula)

FormulaeBase

public FormulaeBase(long id,
                    java.lang.String nom,
                    boolean origineFichier,
                    java.lang.String nomFichierOrigine)

Method Detail

copy

public FormulaeBase copy()

getFormulae

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

getFormula

public Formula getFormula(int id)

setFormulae

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

addFormula

public void addFormula(Formula f)

removeFormula

public void removeFormula(Formula f)

removeAllFormulae

public void removeAllFormulae()

removeFormulae

public void removeFormulae(java.util.List<Formula> l)

getId

public long getId()

setId

public void setId(long id)

getName

public java.lang.String getName()

setName

public void setName(java.lang.String name)

isComingFromFile

public boolean isComingFromFile()

isComingFromFile

public void isComingFromFile(boolean isComingFromFile)

getOriginalFileName

public java.lang.String getOriginalFileName()

setOriginaleFileName

public void setOriginaleFileName(java.lang.String originalFileName)

toLongString

public java.lang.String toLongString()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

computeListeClauses

public void computeListeClauses()

getClauses

public java.util.List<Clause> getClauses()

computeListeVariables

public void computeListeVariables()

getVariables

public java.util.List<Variable> getVariables()

getNbVariables

public int getNbVariables()

sortFormulae

public void sortFormulae()

getNextFreeFormuleId

public int getNextFreeFormuleId()

getNextFreeClauseId

public int getNextFreeClauseId()

getNextFreeVariableId

public int getNextFreeVariableId()

renumber

public void renumber()