net.sf.tweety.logics.commons.syntax.interfaces

Interface SimpleLogicalFormula

All Superinterfaces:

Formula

All Known Subinterfaces:

AssociativeFormula<T>, Atom, ClassicalFormula, ComplexLogicalFormula, Conjuctable, Disjunctable, DLPElement, DLPLiteral, Invertable, QuantifiedFormula

All Known Implementing Classes:

AbstractGraphLdoModality, AbstractLdoModality, Aggregate, AlwaysQuery, Arithmetic, AssociativeFOLFormula, AssociativeFormulaSupport, AssociativePropositionalFormula, Comparative, ComplexLogicalFormulaAdapter, Conditional, Conjunction, Conjunction, Contradiction, Contradiction, DefaultRule, DefeasibleRule, DelpFact, DelpRule, Disjunction, Disjunction, DLPAtom, DLPElementAdapter, DLPHead, DLPNeg, DLPNot, Equivalence, ExistsQuantifiedFormula, FOLAtom, FolFormula, ForallQuantifiedFormula, HoldsQuery, Implication, LdoArgument, LdoAssociativeFormula, LdoBoxModality, LdoConjunction, LdoDiamondModality, LdoDisjunction, LdoFormula, LdoGraphBoxModality, LdoGraphDiamondModality, LdoNegation, LdoRelation, MlnFormula, ModalFormula, NecessarilyQuery, Necessity, Negation, Negation, NLPNot, NLPRule, Possibility, ProbabilisticConditional, Proposition, PropositionalFormula, QueryProposition, RelationalConditional, RelationalFormula, RelationalProbabilisticConditional, Rule, SpecialFormula, SpecialFormula, StrictRule, Tautology, Tautology

public interface SimpleLogicalFormula
extends Formula

A formula of a logical language

Author:

Tim Janus

Method Summary

Modifier and Type	Method and Description
SimpleLogicalFormula	clone() Creates a deep copy of this formula
boolean	equals(java.lang.Object other)
java.util.Set<? extends Atom>	getAtoms() Processes the set of all atoms which appear in this formula
java.lang.Class<? extends Predicate>	getPredicateCls()
java.util.Set<? extends Predicate>	getPredicates() Processes the set of all predicates which appear in this formula
int	hashCode()
boolean	isLiteral()

Methods inherited from interface net.sf.tweety.commons.Formula

getSignature

Method Detail

getAtoms

java.util.Set<? extends Atom> getAtoms()

Processes the set of all atoms which appear in this formula

Returns:

The set of all atoms

getPredicates

java.util.Set<? extends Predicate> getPredicates()

Processes the set of all predicates which appear in this formula

Returns:

all predicates that appear in this formula

getPredicateCls

java.lang.Class<? extends Predicate> getPredicateCls()

Returns:

The class description of the predicate used by this formula.

isLiteral

boolean isLiteral()

Returns:

true if the formula represents a literal in the language or false otherwise

hashCode

int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

clone

SimpleLogicalFormula clone()

Creates a deep copy of this formula