Uses of Class
org.tweetyproject.logics.fol.syntax.Conjunction
Package
Description
-
Uses of Conjunction in org.tweetyproject.arg.delp.syntax
-
Uses of Conjunction in org.tweetyproject.logics.fol.syntax
Modifier and TypeMethodDescriptionConjunction.clone()
FolFormula.combineWithAnd(Conjunctable f)
Conjunction.createEmptyFormula()
Conjunction.substitute(Term<?> v, Term<?> t)
-
Uses of Conjunction in org.tweetyproject.logics.ml.syntax
-
Uses of Conjunction in org.tweetyproject.logics.mln.syntax
-
Uses of Conjunction in org.tweetyproject.logics.rcl.syntax
-
Uses of Conjunction in org.tweetyproject.logics.rdl.syntax
-
Uses of Conjunction in org.tweetyproject.logics.translators.folprop
Modifier and TypeMethodDescriptionFOLPropTranslator.toFOL(Conjunction conjunction)
Translates the given propositional Conjunction to a FOL ConjunctionModifier and TypeMethodDescriptionFOLPropTranslator.toPropositional(Conjunction conjunction)
Translates the given FOL Conjunction to a propositional Conjunction