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

Class UnitPropagation

java.lang.Object

org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.unitPropagation.UnitPropagation

All Implemented Interfaces:

IUnitPropagation

public class UnitPropagation
extends java.lang.Object
implements IUnitPropagation

Constructor Summary

Constructors

Constructor and Description
UnitPropagation(ClauseSet set)

Method Summary

Methods

Modifier and Type	Method and Description
Clause	unitPropagation(java.util.Stack<Variable> stack, int lvl) Unit Propagation

Methods inherited from class java.lang.Object

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

Constructor Detail

UnitPropagation

public UnitPropagation(ClauseSet set)

Method Detail

unitPropagation

public Clause unitPropagation(java.util.Stack<Variable> stack,
                     int lvl)

Description copied from interface: IUnitPropagation

Unit Propagation

Specified by:

unitPropagation in interface IUnitPropagation

Returns:

gab es eine Leere Klausel waehrend der UP