edu.umd.cs.psl.reasoner.bool

Class BooleanMCSatFactory

java.lang.Object

edu.umd.cs.psl.reasoner.bool.BooleanMCSatFactory

All Implemented Interfaces:

Factory, ReasonerFactory

public class BooleanMCSatFactory
extends Object
implements ReasonerFactory

Factory for a BooleanMCSat.

Author:

Stephen Bach

Constructor Summary

Constructors

Constructor and Description
BooleanMCSatFactory()

Method Summary

Methods

Modifier and Type	Method and Description
Reasoner	getReasoner(ConfigBundle config)

Methods inherited from class java.lang.Object

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

Constructor Detail

BooleanMCSatFactory

public BooleanMCSatFactory()

Method Detail

getReasoner

public Reasoner getReasoner(ConfigBundle config)
                     throws ClassNotFoundException,
                            IllegalAccessException,
                            InstantiationException

Specified by:

getReasoner in interface ReasonerFactory

Throws:

ClassNotFoundException

IllegalAccessException

InstantiationException