org.sat4j.sat
Class RTSI

java.lang.Object
  org.sat4j.sat.RTSI

public class RTSI
extends Object

This class allows dynamic search for classes.

Author:

sroussel and dleberre

Field Summary

static Vector<String>

alreadySeenPckges

Constructor Summary

RTSI()

Method Summary

static void	displayResultOfFind(String tosubclassname)
static void	displayResultOfFind(String pckgname, Class<?> tosubclass)
static void	displayResultOfFind(String pckname, String tosubclassname)
static Vector<String>	find(String tosubclassname)
static Set<String>	find(String pckgname, Class<?> tosubclass)
static Set<String>	find(String pckname, String tosubclassname)
static Set<String>	findnames(String pckgname, Class<?> tosubclass)
static void	main(String[] args)

Methods inherited from class java.lang.Object

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

Field Detail

alreadySeenPckges

public static Vector<String> alreadySeenPckges

Constructor Detail

RTSI

public RTSI()

Method Detail

find

public static Vector<String> find(String tosubclassname)

find

public static Set<String> find(String pckname,
                               String tosubclassname)

find

public static Set<String> find(String pckgname,
                               Class<?> tosubclass)

findnames

public static Set<String> findnames(String pckgname,
                                    Class<?> tosubclass)

displayResultOfFind

public static void displayResultOfFind(String tosubclassname)

displayResultOfFind

public static void displayResultOfFind(String pckname,
                                       String tosubclassname)

displayResultOfFind

public static void displayResultOfFind(String pckgname,
                                       Class<?> tosubclass)

main

public static void main(String[] args)