Uses of Class
org.tweetyproject.logics.mln.syntax.MlnFormula

Packages that use MlnFormula

Package	Description
org.tweetyproject.logics.mln.syntax

Uses of MlnFormula in org.tweetyproject.logics.mln.syntax

Subclasses with type arguments of type MlnFormula in org.tweetyproject.logics.mln.syntax

Modifier and Type	Class	Description
class	MarkovLogicNetwork	Instances of this class represent Markov Logic Networks [Domingos et.

Constructor parameters in org.tweetyproject.logics.mln.syntax with type arguments of type MlnFormula

Modifier	Constructor	Description
	MarkovLogicNetwork(Collection<? extends MlnFormula> formulas)	Creates a new conditional MLN with the given collection of MLN formulas.