Serialized Form

Package org.opt4j.satdecoding

Class org.opt4j.satdecoding.Constraint extends java.util.ArrayList<Term> implements Serializable

serialVersionUID: 1L

Serialized Fields

operator

Constraint.Operator operator

rhs

int rhs

Class org.opt4j.satdecoding.ContradictionException extends java.lang.RuntimeException implements Serializable

serialVersionUID: 1L

Class org.opt4j.satdecoding.TimeoutException extends java.lang.Exception implements Serializable

serialVersionUID: 1L

Package org.opt4j.satdecoding.sat4j

Class org.opt4j.satdecoding.sat4j.VariableOrder extends org.sat4j.minisat.orders.VarOrderHeap implements Serializable

serialVersionUID: 1L

Serialized Fields

varInc

double varInc

phase

boolean[] phase