net.sf.tweety.logics.ml.test

Class MlnTest

java.lang.Object

net.sf.tweety.logics.ml.test.MlnTest

public class MlnTest
extends Object

Constructor Summary

Constructors

Constructor and Description
MlnTest()

Method Summary

Modifier and Type	Method and Description
static net.sf.tweety.commons.util.Pair<MarkovLogicNetwork,net.sf.tweety.logics.fol.syntax.FolSignature>	CommonColdExample(int domain_size)
static net.sf.tweety.commons.util.Pair<MarkovLogicNetwork,net.sf.tweety.logics.fol.syntax.FolSignature>	ElephantZooExample(int domain_size)
static net.sf.tweety.commons.util.Pair<MarkovLogicNetwork,net.sf.tweety.logics.fol.syntax.FolSignature>	iterateExamples(int exNum, int domain_size)
static void	main(String[] args)
static net.sf.tweety.commons.util.Pair<MarkovLogicNetwork,net.sf.tweety.logics.fol.syntax.FolSignature>	SimpleExample(int domain_size)
static net.sf.tweety.commons.util.Pair<MarkovLogicNetwork,net.sf.tweety.logics.fol.syntax.FolSignature>	SmokersExample(int domain_size)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MlnTest

public MlnTest()

Method Detail

SmokersExample

public static net.sf.tweety.commons.util.Pair<MarkovLogicNetwork,net.sf.tweety.logics.fol.syntax.FolSignature> SmokersExample(int domain_size)
                                                                                                                       throws net.sf.tweety.commons.ParserException,
                                                                                                                              IOException

Throws:

net.sf.tweety.commons.ParserException

IOException

ElephantZooExample

public static net.sf.tweety.commons.util.Pair<MarkovLogicNetwork,net.sf.tweety.logics.fol.syntax.FolSignature> ElephantZooExample(int domain_size)
                                                                                                                           throws net.sf.tweety.commons.ParserException,
                                                                                                                                  IOException

Throws:

net.sf.tweety.commons.ParserException

IOException

CommonColdExample

public static net.sf.tweety.commons.util.Pair<MarkovLogicNetwork,net.sf.tweety.logics.fol.syntax.FolSignature> CommonColdExample(int domain_size)
                                                                                                                          throws net.sf.tweety.commons.ParserException,
                                                                                                                                 IOException

Throws:

net.sf.tweety.commons.ParserException

IOException

SimpleExample

public static net.sf.tweety.commons.util.Pair<MarkovLogicNetwork,net.sf.tweety.logics.fol.syntax.FolSignature> SimpleExample(int domain_size)
                                                                                                                      throws net.sf.tweety.commons.ParserException,
                                                                                                                             IOException

Throws:

net.sf.tweety.commons.ParserException

IOException

iterateExamples

public static net.sf.tweety.commons.util.Pair<MarkovLogicNetwork,net.sf.tweety.logics.fol.syntax.FolSignature> iterateExamples(int exNum,
                                                                                                                               int domain_size)
                                                                                                                        throws net.sf.tweety.commons.ParserException,
                                                                                                                               IOException

Throws:

net.sf.tweety.commons.ParserException

IOException

main

public static void main(String[] args)
                 throws net.sf.tweety.commons.ParserException,
                        IOException

Throws:

net.sf.tweety.commons.ParserException

IOException