Uses of Interface
net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Packages that use SimpleLogicalFormula

Package	Description
net.sf.tweety.action.query.syntax
net.sf.tweety.arg.delp.syntax
net.sf.tweety.arg.dung.ldo.syntax
net.sf.tweety.logics.cl.syntax
net.sf.tweety.logics.commons.syntax
net.sf.tweety.logics.commons.syntax.interfaces
net.sf.tweety.logics.fol.syntax
net.sf.tweety.logics.ml.syntax
net.sf.tweety.logics.mln.syntax
net.sf.tweety.logics.pcl.syntax
net.sf.tweety.logics.pl.syntax
net.sf.tweety.logics.rcl.syntax
net.sf.tweety.logics.rdl.syntax
net.sf.tweety.logics.rpcl.syntax
net.sf.tweety.logics.translators
net.sf.tweety.logics.translators.aspfol
net.sf.tweety.lp.asp.syntax
net.sf.tweety.lp.nlp.syntax

Uses of SimpleLogicalFormula in net.sf.tweety.action.query.syntax

Classes in net.sf.tweety.action.query.syntax that implement SimpleLogicalFormula

Modifier and Type	Class and Description
class	AlwaysQuery This class represents an always query in the action query language S.
class	HoldsQuery This class represents a holds query in the action query language S.
class	NecessarilyQuery This class represents a necessarily query in the action query language S.
class	QueryProposition Action queries are represented as propositional formulas with three possible types of propositions: holds, always and necessarily propositions.

Uses of SimpleLogicalFormula in net.sf.tweety.arg.delp.syntax

Classes in net.sf.tweety.arg.delp.syntax that implement SimpleLogicalFormula

Modifier and Type	Class and Description
class	DefeasibleRule This class models a defeasible rule in defeasible logic programming.
class	DelpFact This class implements a fact in defeasible logic programming which encapsulates a literal.
class	DelpRule This method is the superclass for both a strict rule and a defeasible rule in defeasible logic programming and captures their common attributes and methods.
class	StrictRule This class models a strict rule in defeasible logic programming.

Uses of SimpleLogicalFormula in net.sf.tweety.arg.dung.ldo.syntax

Classes in net.sf.tweety.arg.dung.ldo.syntax that implement SimpleLogicalFormula

Modifier and Type	Class and Description
class	AbstractGraphLdoModality Provides common functionalities for the graph-based modalities in LDO.
class	AbstractLdoModality Provides common functionalities for all modalities in LDO.
class	LdoArgument This class represents an argument in ldo.
class	LdoAssociativeFormula This class captures the common functionalities of formulas with an associative operation like conjunction, disjunction, etc.
class	LdoBoxModality
class	LdoConjunction This class represents a conjunction in ldo logic.
class	LdoDiamondModality
class	LdoDisjunction This class represents a disjunction in ldo logic.
class	LdoFormula This abstract class specifies the general methods of all Ldo-formulas (LDO - Logic of dialectical outcomes, cf.
class	LdoGraphBoxModality
class	LdoGraphDiamondModality
class	LdoNegation This class models classical negation of ldo logic.
class	LdoRelation Creates a relational formula, i.e.

Methods in net.sf.tweety.arg.dung.ldo.syntax with type parameters of type SimpleLogicalFormula

Modifier and Type	Method and Description
<C extends SimpleLogicalFormula> java.util.Set<C>	LdoAssociativeFormula.getFormulas(java.lang.Class<C> cls)

Uses of SimpleLogicalFormula in net.sf.tweety.logics.cl.syntax

Classes in net.sf.tweety.logics.cl.syntax that implement SimpleLogicalFormula

Modifier and Type	Class and Description
class	Conditional This class represents a basic conditional (B|A) with formulas A,B.

Uses of SimpleLogicalFormula in net.sf.tweety.logics.commons.syntax

Classes in net.sf.tweety.logics.commons.syntax with type parameters of type SimpleLogicalFormula

Modifier and Type	Class and Description
class	AssociativeFormulaSupport<T extends SimpleLogicalFormula> This class provides common implementation for associative formulas that are formulas which consists of several other formulas.

Classes in net.sf.tweety.logics.commons.syntax that implement SimpleLogicalFormula

Modifier and Type	Class and Description
class	AssociativeFormulaSupport<T extends SimpleLogicalFormula> This class provides common implementation for associative formulas that are formulas which consists of several other formulas.
class	ComplexLogicalFormulaAdapter Abstract base class for ComplexLogicalFormula, that are formulas which implement substitute(), exchange(), getTerms(), isGround() and isWellFormed() and therefore use terms to describe themself.
class	RelationalFormula This is the abstract base class for relational formulas, i.e.

Methods in net.sf.tweety.logics.commons.syntax with type parameters of type SimpleLogicalFormula

Modifier and Type	Method and Description
<T extends SimpleLogicalFormula> AssociativeFormula<T>	AssociativeFormulaSupport.AssociativeSupportBridge.createEmptyFormula()
<C extends SimpleLogicalFormula> java.util.Set<C>	AssociativeFormulaSupport.getFormulas(java.lang.Class<C> cls)

Uses of SimpleLogicalFormula in net.sf.tweety.logics.commons.syntax.interfaces

Classes in net.sf.tweety.logics.commons.syntax.interfaces with type parameters of type SimpleLogicalFormula

Modifier and Type	Interface and Description
interface	AssociativeFormula<T extends SimpleLogicalFormula> This interfaces describes associative formulas like a disjunction or a conjunction.

Subinterfaces of SimpleLogicalFormula in net.sf.tweety.logics.commons.syntax.interfaces

Modifier and Type	Interface and Description
interface	AssociativeFormula<T extends SimpleLogicalFormula> This interfaces describes associative formulas like a disjunction or a conjunction.
interface	Atom An atomic language construct, linked to its predicate
interface	ClassicalFormula This interface models a classical formula, i.e.
interface	ComplexLogicalFormula A complex logical formula can contain arguments referred as terms, this interface provides methods to substitute and exchange those terms.
interface	Conjuctable Formulas implementing this interface can be connected by using AND.
interface	Disjunctable Formulas implementing this interface can be connected using OR.
interface	Invertable Formulas implementing this interface have a complement
interface	QuantifiedFormula Interface for a QuantifiedFormula with a set of quantified variables implementing an all- or exist-quantor for example.

Methods in net.sf.tweety.logics.commons.syntax.interfaces with type parameters of type SimpleLogicalFormula

Modifier and Type	Method and Description
<C extends SimpleLogicalFormula> java.util.Set<C>	AssociativeFormula.getFormulas(java.lang.Class<C> cls) Process the formulas of type C that are children of this associative formula

Methods in net.sf.tweety.logics.commons.syntax.interfaces that return SimpleLogicalFormula

Modifier and Type	Method and Description
SimpleLogicalFormula	SimpleLogicalFormula.clone() Creates a deep copy of this formula
SimpleLogicalFormula	Conjuctable.combineWithAnd(Conjuctable f) Returns a conjunction of this and the given formula.
SimpleLogicalFormula	Disjunctable.combineWithOr(Disjunctable f)
SimpleLogicalFormula	QuantifiedFormula.getFormula()

Uses of SimpleLogicalFormula in net.sf.tweety.logics.fol.syntax

Classes in net.sf.tweety.logics.fol.syntax that implement SimpleLogicalFormula

Modifier and Type	Class and Description
class	AssociativeFOLFormula This class captures the common functionalities first order associative formulas like conjunction, disjunction, etc.
class	Conjunction The classical conjunction of first-order logic.
class	Contradiction A contradictory formula.
class	Disjunction The classical disjunction of first-order logic.
class	Equivalence The equivalence of first-order logic.
class	ExistsQuantifiedFormula Exists-quantified first-order logic formula.
class	FOLAtom An atom in first-order logic, i.e.
class	FolFormula The common abstract class for formulas of first-order logic.
class	ForallQuantifiedFormula For-All-quantified first-order logic formula.
class	Implication The implication of first-order logic.
class	Negation The classical negation of first-order logic.
class	SpecialFormula This class captures the common functionalities of the special formulas tautology and contradiction.
class	Tautology A tautological formula.

Methods in net.sf.tweety.logics.fol.syntax with type parameters of type SimpleLogicalFormula

Modifier and Type	Method and Description
<C extends SimpleLogicalFormula> java.util.Set<C>	AssociativeFOLFormula.getFormulas(java.lang.Class<C> cls)

Uses of SimpleLogicalFormula in net.sf.tweety.logics.ml.syntax

Classes in net.sf.tweety.logics.ml.syntax that implement SimpleLogicalFormula

Modifier and Type	Class and Description
class	ModalFormula This class models a modal formula, i.e.
class	Necessity This class models the necessity modality.
class	Possibility This class models the possibility modality.

Uses of SimpleLogicalFormula in net.sf.tweety.logics.mln.syntax

Classes in net.sf.tweety.logics.mln.syntax that implement SimpleLogicalFormula

Modifier and Type	Class and Description
class	MlnFormula Instances of this class represent first-order formulas with a weight.

Uses of SimpleLogicalFormula in net.sf.tweety.logics.pcl.syntax

Classes in net.sf.tweety.logics.pcl.syntax that implement SimpleLogicalFormula

Modifier and Type	Class and Description
class	ProbabilisticConditional This class represents a probabilistic conditional of the form (B|A)[p] with formulas A,B and a probability p.

Uses of SimpleLogicalFormula in net.sf.tweety.logics.pl.syntax

Classes in net.sf.tweety.logics.pl.syntax that implement SimpleLogicalFormula

Modifier and Type	Class and Description
class	AssociativePropositionalFormula This class captures the common functionalities of formulas with an associative operation like conjunction, disjunction, etc.
class	Proposition This class represents a simple proposition in propositional logic.
class	PropositionalFormula This class represents the common ancestor for propositional formulae.

Methods in net.sf.tweety.logics.pl.syntax with type parameters of type SimpleLogicalFormula

Modifier and Type	Method and Description
<C extends SimpleLogicalFormula> java.util.Set<C>	AssociativePropositionalFormula.getFormulas(java.lang.Class<C> cls)

Uses of SimpleLogicalFormula in net.sf.tweety.logics.rcl.syntax

Classes in net.sf.tweety.logics.rcl.syntax that implement SimpleLogicalFormula

Modifier and Type	Class and Description
class	RelationalConditional Instances of this class represent relational conditionals.

Uses of SimpleLogicalFormula in net.sf.tweety.logics.rdl.syntax

Classes in net.sf.tweety.logics.rdl.syntax that implement SimpleLogicalFormula

Modifier and Type	Class and Description
class	DefaultRule Models a default rule in Reiter's default logic, see [R.

Uses of SimpleLogicalFormula in net.sf.tweety.logics.rpcl.syntax

Classes in net.sf.tweety.logics.rpcl.syntax that implement SimpleLogicalFormula

Modifier and Type	Class and Description
class	RelationalProbabilisticConditional This class represents a relational probabilistic conditional, i.e.

Uses of SimpleLogicalFormula in net.sf.tweety.logics.translators

Methods in net.sf.tweety.logics.translators with type parameters of type SimpleLogicalFormula

Modifier and Type	Method and Description
<A extends AssociativeFormula<? extends SimpleLogicalFormula>> AssociativeFormula<?>	Translator.translateAssociative(A source, java.lang.Class<?> assocCls) Translates the given AssociativeFormula into another AssociativeFormula thats type is given by the parameter assocCls

Methods in net.sf.tweety.logics.translators that return SimpleLogicalFormula

Modifier and Type	Method and Description
SimpleLogicalFormula	Translator.translateUsingMap(SimpleLogicalFormula source)

Methods in net.sf.tweety.logics.translators with parameters of type SimpleLogicalFormula

Modifier and Type	Method and Description
SimpleLogicalFormula	Translator.translateUsingMap(SimpleLogicalFormula source)

Method parameters in net.sf.tweety.logics.translators with type arguments of type SimpleLogicalFormula

Modifier and Type	Method and Description
Rule<?,?>	Translator.translateRule(Rule<? extends SimpleLogicalFormula,? extends SimpleLogicalFormula> source, java.lang.Class<?> ruleCls)
Rule<?,?>	Translator.translateRule(Rule<? extends SimpleLogicalFormula,? extends SimpleLogicalFormula> source, java.lang.Class<?> ruleCls)

Uses of SimpleLogicalFormula in net.sf.tweety.logics.translators.aspfol

Methods in net.sf.tweety.logics.translators.aspfol that return SimpleLogicalFormula

Modifier and Type	Method and Description
SimpleLogicalFormula	AspFolTranslator.translateUsingMap(SimpleLogicalFormula source)

Methods in net.sf.tweety.logics.translators.aspfol with parameters of type SimpleLogicalFormula

Modifier and Type	Method and Description
SimpleLogicalFormula	AspFolTranslator.translateUsingMap(SimpleLogicalFormula source)

Uses of SimpleLogicalFormula in net.sf.tweety.lp.asp.syntax

Subinterfaces of SimpleLogicalFormula in net.sf.tweety.lp.asp.syntax

Modifier and Type	Interface and Description
interface	DLPElement This interface defines base methods every element of a program has to provide.
interface	DLPLiteral This interface defines common functionality for an ELP literal.

Classes in net.sf.tweety.lp.asp.syntax that implement SimpleLogicalFormula

Modifier and Type	Class and Description
class	Aggregate This class represents an aggregate function.
class	Arithmetic This class implements the Arithmetic semantic given by the DLV Manual.
class	Comparative This class implements comparative predicates as described in the DLV manual.
class	DLPAtom This class models an atom, which is a basic structure for building literals and rules for logic programs.
class	DLPElementAdapter This class acts as an abstract base class for classes that implement the ELPElement interface.
class	DLPHead This formula represents the head of an disjunctive rule which is a disjunction of ELP literals.
class	DLPNeg This class models strict negation for atoms.
class	DLPNot This class models a default negated literal.
class	Rule This class models a rule for a disjunctive logic program.

Methods in net.sf.tweety.lp.asp.syntax with type parameters of type SimpleLogicalFormula

Modifier and Type	Method and Description
<C extends SimpleLogicalFormula> java.util.Set<C>	DLPHead.getFormulas(java.lang.Class<C> cls)

Methods in net.sf.tweety.lp.asp.syntax that return SimpleLogicalFormula

Modifier and Type	Method and Description
SimpleLogicalFormula	DLPHead.combineWithOr(Disjunctable f)

Uses of SimpleLogicalFormula in net.sf.tweety.lp.nlp.syntax

Classes in net.sf.tweety.lp.nlp.syntax that implement SimpleLogicalFormula

Modifier and Type	Class and Description
class	NLPNot A default negation of a first order formula, nested logic programs only allow not quantified formulas.
class	NLPRule A rule of a nested logic program.