org.sat4j.minisat.core
Class Pair

java.lang.Object
  extended by org.sat4j.minisat.core.Pair
All Implemented Interfaces:
java.io.Serializable

public class Pair
extends java.lang.Object
implements java.io.Serializable

Utility class to be used to return the two results of a conflict analysis.

Author:
daniel
See Also:
Serialized Form

Field Summary
 int backtrackLevel
           
 Constr reason
           
 
Constructor Summary
Pair()
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

backtrackLevel

public int backtrackLevel

reason

public Constr reason
Constructor Detail

Pair

public Pair()


Copyright © 2009 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.