|
|||||||||
| Home >> All >> mlsub >> typing >> [ lowlevel overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||
mlsub.typing.lowlevel
Class Satisfier
java.lang.Objectmlsub.typing.lowlevel.Satisfier
- final class Satisfier
- extends java.lang.Object
A repository for static methods used during satisfiability test
- Version:
- $Revision: 1.1 $, $Date: 2000/06/14 13:32:55 $
| Nested Class Summary | |
private static class |
Satisfier.Satisfiable
|
| Field Summary | |
private static boolean |
satisfiable
|
| Constructor Summary | |
private |
Satisfier()
|
| Method Summary | |
(package private) static int[] |
compileStrategy(BitMatrix C,
BitMatrix Ct,
int m,
int n)
|
private static void |
enumerate(int[] strategy,
DomainVector domains,
BitMatrix C,
BitMatrix Ct,
BitMatrix R,
BitMatrix Rt,
int m,
int n,
BitVector observers,
LowlevelSolutionHandler handler)
|
private static void |
enumerate(int[] strategy,
DomainVector domains,
BitMatrix C,
BitMatrix Ct,
BitMatrix R,
BitMatrix Rt,
int m,
int n,
LowlevelSolutionHandler handler)
|
(package private) static void |
enumerateSolutions(int[] strategy,
DomainVector domains,
BitMatrix C,
BitMatrix Ct,
BitMatrix R,
BitMatrix Rt,
int m,
int n,
BitVector observers,
LowlevelSolutionHandler handler)
|
(package private) static void |
enumerateSolutions(int[] strategy,
DomainVector domains,
BitMatrix C,
BitMatrix Ct,
BitMatrix R,
BitMatrix Rt,
int m,
int n,
LowlevelSolutionHandler handler)
|
(package private) static void |
satisfy(int[] strategy,
DomainVector domains,
BitMatrix C,
BitMatrix Ct,
BitMatrix R,
BitMatrix Rt,
int m,
int n)
|
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
satisfiable
private static boolean satisfiable
| Constructor Detail |
Satisfier
private Satisfier()
| Method Detail |
compileStrategy
static int[] compileStrategy(BitMatrix C, BitMatrix Ct, int m, int n)
enumerate
private static void enumerate(int[] strategy,
DomainVector domains,
BitMatrix C,
BitMatrix Ct,
BitMatrix R,
BitMatrix Rt,
int m,
int n,
BitVector observers,
LowlevelSolutionHandler handler)
throws LowlevelUnsatisfiable,
Satisfier.Satisfiable
enumerate
private static void enumerate(int[] strategy,
DomainVector domains,
BitMatrix C,
BitMatrix Ct,
BitMatrix R,
BitMatrix Rt,
int m,
int n,
LowlevelSolutionHandler handler)
throws LowlevelUnsatisfiable,
Satisfier.Satisfiable
enumerateSolutions
static void enumerateSolutions(int[] strategy,
DomainVector domains,
BitMatrix C,
BitMatrix Ct,
BitMatrix R,
BitMatrix Rt,
int m,
int n,
LowlevelSolutionHandler handler)
throws LowlevelUnsatisfiable
enumerateSolutions
static void enumerateSolutions(int[] strategy,
DomainVector domains,
BitMatrix C,
BitMatrix Ct,
BitMatrix R,
BitMatrix Rt,
int m,
int n,
BitVector observers,
LowlevelSolutionHandler handler)
satisfy
static void satisfy(int[] strategy,
DomainVector domains,
BitMatrix C,
BitMatrix Ct,
BitMatrix R,
BitMatrix Rt,
int m,
int n)
throws LowlevelUnsatisfiable
|
|||||||||
| Home >> All >> mlsub >> typing >> [ lowlevel overview ] | PREV CLASS NEXT CLASS | ||||||||
|
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||