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

Fields

Modifier and Type	Field and Description
int	backtrackLevel
Constr	reason

Constructor Summary

Constructors

Constructor and Description
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()