Package net.sf.tweety.logics.pl.syntax

Class Tautology

java.lang.Object

net.sf.tweety.logics.pl.syntax.PlFormula

net.sf.tweety.logics.pl.syntax.SpecialFormula

net.sf.tweety.logics.pl.syntax.Tautology

All Implemented Interfaces:

net.sf.tweety.commons.Formula, net.sf.tweety.logics.commons.syntax.interfaces.ClassicalFormula, net.sf.tweety.logics.commons.syntax.interfaces.Conjunctable, net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable, net.sf.tweety.logics.commons.syntax.interfaces.Invertable, net.sf.tweety.logics.commons.syntax.interfaces.ProbabilityAware, net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

public class Tautology
extends SpecialFormula

A tautological formula.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
Tautology()	Creates a new tautology.

Method Summary

Modifier and Type	Method	Description
Tautology	clone()
boolean	equals(Object other)
Set<PossibleWorld>	getModels(PlSignature sig)	Returns the set of models of this formula wrt.
int	hashCode()
String	toString()

Methods inherited from class net.sf.tweety.logics.pl.syntax.SpecialFormula

collapseAssociativeFormulas, getAtoms, getLiterals, getPredicates, numberOfOccurrences, replace, toCnf, toNnf, trim

Methods inherited from class net.sf.tweety.logics.pl.syntax.PlFormula

combineWithAnd, combineWithOr, complement, getModels, getPredicateCls, getPrimeImplicants, getSignature, getUniformProbability, isClause, isConjunctiveClause, isLiteral, resolvableWith, resolveWith, toBlakeCanonicalForm, toDnf

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Tautology

public Tautology()

Creates a new tautology.

Method Detail

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(Object other)

Specified by:

equals in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Specified by:

equals in class PlFormula

hashCode

public int hashCode()

Specified by:

hashCode in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Specified by:

hashCode in class PlFormula

clone

public Tautology clone()

Specified by:

clone in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Specified by:

clone in class PlFormula

getModels

public Set<PossibleWorld> getModels(PlSignature sig)

Description copied from class: PlFormula

Returns the set of models of this formula wrt. the given signature.

Specified by:

getModels in class PlFormula

Parameters:

sig - some propositional signature

Returns:

the set of models of this formula wrt. the given signature.