SolverFactory (jaicore-logic 0.2.4 API)

java.lang.Object
- ai.libs.jaicore.logic.fol.algorithms.resolution.SolverFactory

public class SolverFactory
extends java.lang.Object

- Method Summary
  
  All Methods Static Methods Instance Methods Concrete Methods
  Modifier and Type Method 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)