model.logic
Class ClausesBase

java.lang.Object
  model.logic.ClausesBase

public class ClausesBase
extends java.lang.Object

This class represents a base of clauses. It is not used anymore since PRISM now manages general formulae.

Author:

stephanieroussel

Constructor Summary

ClausesBase(java.util.List<Clause> clauses, long id, java.lang.String name, boolean isComingFromFile, java.lang.String originalFileName)

ClausesBase(long id, java.lang.String name, boolean isComingFromFile, java.lang.String originalFileName)

Method Summary

void	addClause(Clause c)
java.util.List<Clause>	getClauses()
long	getId()
java.util.List<Variable>	getListeVariables()
java.lang.String	getName()
int	getNbVariables()
java.lang.String	getNomFichierOrigine()
boolean	isComingFromFile()
boolean	removeClause(Clause c)
void	setClauses(java.util.List<Clause> clauses)
void	setId(long id)
void	setIsComingFromFile(boolean isComingFromFile)
void	setName(java.lang.String name)
void	setNomFichierOrigine(java.lang.String nomFichierOrigine)
void	sortClauses()
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

ClausesBase

public ClausesBase(java.util.List<Clause> clauses,
                   long id,
                   java.lang.String name,
                   boolean isComingFromFile,
                   java.lang.String originalFileName)

ClausesBase

public ClausesBase(long id,
                   java.lang.String name,
                   boolean isComingFromFile,
                   java.lang.String originalFileName)

Method Detail

getClauses

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

setClauses

public void setClauses(java.util.List<Clause> clauses)

addClause

public void addClause(Clause c)

removeClause

public boolean removeClause(Clause c)

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()

setIsComingFromFile

public void setIsComingFromFile(boolean isComingFromFile)

getNomFichierOrigine

public java.lang.String getNomFichierOrigine()

setNomFichierOrigine

public void setNomFichierOrigine(java.lang.String nomFichierOrigine)

toLongString

public java.lang.String toLongString()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getListeVariables

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

getNbVariables

public int getNbVariables()

sortClauses

public void sortClauses()