org.kahina.logic.sat.io.cnf

Class CfgToSatConverter

java.lang.Object

org.kahina.logic.sat.io.cnf.CfgToSatConverter

public class CfgToSatConverter
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
CfgToSatConverter()

Method Summary

Methods

Modifier and Type	Method and Description
static CnfSatInstance	grammarToSat(ContextFreeGrammar cfg, java.util.HashMap<java.lang.String,java.lang.Integer> varIndex, int lengthLimit)
static void	main(java.lang.String[] args)
static CnfSatInstance	parsingToSat(ContextFreeGrammar cfg, java.lang.String[] sentence)

Methods inherited from class java.lang.Object

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

Constructor Detail

CfgToSatConverter

public CfgToSatConverter()

Method Detail

parsingToSat

public static CnfSatInstance parsingToSat(ContextFreeGrammar cfg,
                          java.lang.String[] sentence)

grammarToSat

public static CnfSatInstance grammarToSat(ContextFreeGrammar cfg,
                          java.util.HashMap<java.lang.String,java.lang.Integer> varIndex,
                          int lengthLimit)

main

public static void main(java.lang.String[] args)