org.sat4j.pb
Class BugSAT22.Named

java.lang.Object
  extended by 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)


Copyright © 2011 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.