ai.libs.jaicore.logic.fol.algorithms.resolution

Class SolverFactory

java.lang.Object

ai.libs.jaicore.logic.fol.algorithms.resolution.SolverFactory

public class SolverFactory
extends java.lang.Object

Method Summary

Modifier and Type	Method and Description
static SolverFactory	getInstance()
Solver	getSolver(CNFFormula formula)

Methods inherited from class java.lang.Object

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

Method Detail

getInstance

public static SolverFactory getInstance()

getSolver

public Solver getSolver(CNFFormula formula)