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

Class Variable

java.lang.Object

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

public class Variable
extends java.lang.Object

Author:

Paul Seitz

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Variable.State

Field Summary

Fields

Modifier and Type	Field and Description
double	activity
int	level
int	num
Clause	reason
protected int	setHeuristic
Variable.State	setNext
Variable.State	state
java.util.List<Clause>	watched

Constructor Summary

Constructors

Constructor and Description
Variable(int num)
Variable(int num, double activity)

Method Summary

Methods

Modifier and Type	Method and Description
Clause	assign(boolean val, Variable[] variables, java.util.ArrayList<Clause> units, java.util.Stack<Variable> stack, int lvl) Belegt eine Variable
boolean	getBoolHeur()
boolean	litIsSat(int literal) vB: literal entspricht der Variablen
java.lang.String	toString()
void	unassign(IActivity activity2) Nach dem aufruf ist diese Variable unbelegt.

Methods inherited from class java.lang.Object

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

Field Detail

activity

public double activity

level

public int level

reason

public Clause reason

setHeuristic

protected int setHeuristic

setNext

public Variable.State setNext

state

public Variable.State state

num

public final int num

watched

public final java.util.List<Clause> watched

Constructor Detail

Variable

public Variable(int num)

Variable

public Variable(int num,
        double activity)

Method Detail

getBoolHeur

public boolean getBoolHeur()

assign

public Clause assign(boolean val,
            Variable[] variables,
            java.util.ArrayList<Clause> units,
            java.util.Stack<Variable> stack,
            int lvl)

Belegt eine Variable

Parameters:

val - - den Wert auf den belegt werden soll

variables - - der aktuelle Variablenvektor

units - - Liste, in der die Unit Klauseln gespeichert werden

lvl -

stack -

Returns:

eine leere Klausel, falls vorhanden, ansonsten null

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

unassign

public void unassign(IActivity activity2)

Nach dem aufruf ist diese Variable unbelegt.

Parameters:

activity2 -

litIsSat

public boolean litIsSat(int literal)

vB: literal entspricht der Variablen

Parameters:

literal -

Returns:

ob das literal zur zeit erfüllt ist.