org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main

Class ClauseSet

java.lang.Object

org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main.ClauseSet

public class ClauseSet
extends java.lang.Object

Author:

Paul Seitz

Field Summary

Fields

Modifier and Type	Field and Description
java.util.ArrayList<Clause>	initUnits
double	initVarAddition
Variable[]	variables

Constructor Summary

Constructors

Constructor and Description
ClauseSet()
ClauseSet(int numVariables)

Method Summary

Methods

Modifier and Type	Method and Description
void	pars(java.lang.String filename)
java.lang.String	printVars()

Methods inherited from class java.lang.Object

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

Field Detail

variables

public Variable[] variables

initVarAddition

public double initVarAddition

initUnits

public java.util.ArrayList<Clause> initUnits

Constructor Detail

ClauseSet

public ClauseSet()

ClauseSet

public ClauseSet(int numVariables)

Method Detail

pars

public void pars(java.lang.String filename)
          throws java.lang.NumberFormatException,
                 java.io.IOException

Throws:

java.lang.NumberFormatException

java.io.IOException

printVars

public java.lang.String printVars()