org.sat4j.pb.constraints.pb

Class InternalMapPBStructure

java.lang.Object

org.sat4j.pb.constraints.pb.InternalMapPBStructure

public class InternalMapPBStructure
extends Object

Author:

anne

Field Summary

Fields

Modifier and Type	Field and Description
protected BigInteger	degree

Method Summary

Modifier and Type	Method and Description
BigInteger	getComputedDegree()

Methods inherited from class java.lang.Object

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

Field Detail

degree

protected BigInteger degree

Method Detail

getComputedDegree

public BigInteger getComputedDegree()