SimpleLogicalFormula (Tweety (Commons Logic) 1.17 API)

All Superinterfaces:

net.sf.tweety.commons.Formula

All Known Subinterfaces:

AssociativeFormula<T>, Atom, ClassicalFormula, ComplexLogicalFormula, Conjunctable, 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	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
    
    Returns:
    
    the cloned formula