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

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