| java.lang.Object mlsub.typing.lowlevel.Satisfier
Satisfier | final class Satisfier (Code) | | A repository for static methods used during satisfiability test
author: Alexandre Frey version: $Revision: 1.5 $, $Date: 2005/04/01 12:12:05 $ |
Method Summary | |
static int[] | compileStrategy(BitMatrix C, BitMatrix Ct, int m, int n) | static void | enumerateSolutions(int[] strategy, DomainVector domains, BitMatrix C, BitMatrix Ct, BitMatrix R, BitMatrix Rt, int m, int n, LowlevelSolutionHandler handler) | static void | enumerateSolutions(int[] strategy, DomainVector domains, BitMatrix C, BitMatrix Ct, BitMatrix R, BitMatrix Rt, int m, int n, BitVector observers, LowlevelSolutionHandler handler) | static void | satisfy(int[] strategy, DomainVector domains, BitMatrix C, BitMatrix Ct, BitMatrix R, BitMatrix Rt, int m, int n) |
|
|