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

Class RekursivUnitPropagation

java.lang.Object

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

All Implemented Interfaces:

IUnitPropagation

public class RekursivUnitPropagation
extends java.lang.Object
implements IUnitPropagation

Constructor Summary

Constructors

Constructor and Description
RekursivUnitPropagation(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

RekursivUnitPropagation

public RekursivUnitPropagation(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