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

String

name

Constructor Summary

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)