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

Interface SimpleLogicalFormula

All Superinterfaces:

net.sf.tweety.commons.Formula

All Known Subinterfaces:

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

All Known Implementing Classes:

AssociativeFormulaSupport, ComplexLogicalFormulaAdapter, RelationalFormula

public interface SimpleLogicalFormula
extends net.sf.tweety.commons.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(Object other)
Set<? extends Atom>	getAtoms() Processes the set of all atoms which appear in this formula
Class<? extends Predicate>	getPredicateCls()
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

Set<? extends Atom> getAtoms()

Processes the set of all atoms which appear in this formula

Returns:

The set of all atoms

getPredicates

Set<? extends Predicate> getPredicates()

Processes the set of all predicates which appear in this formula

Returns:

all predicates that appear in this formula

getPredicateCls

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 Object

equals

boolean equals(Object other)

Overrides:

equals in class Object

clone

SimpleLogicalFormula clone()

Creates a deep copy of this formula