org.sat4j.reader.csp
Class Var

java.lang.Object
  org.sat4j.reader.csp.Var

public class Var
extends java.lang.Object

Constructor Summary

Var(int[] domain, int startid)

Method Summary

int[]	domain()
int	findValue(int[] model)
void	toClause(ISolver solver)
int	translate(int key)

Methods inherited from class java.lang.Object

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

Constructor Detail

Var

public Var(int[] domain,
           int startid)

Method Detail

domain

public int[] domain()

translate

public int translate(int key)

toClause

public void toClause(ISolver solver)
              throws ContradictionException

Throws:

ContradictionException

findValue

public int findValue(int[] model)