Uses of Class
net.sf.tweety.logics.mln.syntax.MlnFormula

Packages that use MlnFormula

Package	Description
net.sf.tweety.logics.mln.syntax

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

Constructor parameters in net.sf.tweety.logics.mln.syntax with type arguments of type MlnFormula

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