org.sat4j.minisat.core
Class Pair

java.lang.Object
  org.sat4j.minisat.core.Pair

All Implemented Interfaces:

Serializable

public final class Pair
extends Object
implements 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()