org.kahina.logic.sat.data.model

Class CompleteAssignment

java.lang.Object

org.kahina.logic.sat.data.model.CompleteAssignment

public class CompleteAssignment
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
CompleteAssignment()

Method Summary

Methods

Modifier and Type	Method and Description
void	flipVar(int var)
boolean	getValue(int var)
boolean	satisfies(java.util.List<java.lang.Integer> clause)
void	setFalse(int var)
void	setTrue(int var)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

CompleteAssignment

public CompleteAssignment()

Method Detail

setTrue

public void setTrue(int var)

setFalse

public void setFalse(int var)

flipVar

public void flipVar(int var)

getValue

public boolean getValue(int var)

satisfies

public boolean satisfies(java.util.List<java.lang.Integer> clause)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object