org.sat4j.pb

Class BugSAT22.Named

java.lang.Object

org.sat4j.pb.BugSAT22.Named

Enclosing class:

BugSAT22

public class BugSAT22.Named
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
String	name

Constructor Summary

Constructors

Constructor and Description
BugSAT22.Named(String name)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

name

public String name

Constructor Detail

BugSAT22.Named

public BugSAT22.Named(String name)