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

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.