DSRG.MKB
Class CMatrix

java.lang.Object
  |
  +--DSRG.MKB.CMatrix

public class CMatrix

extends java.lang.Object

Field Summary

private static boolean	DEBUG
MKB	MainMKB
int	MatrixSize
java.util.Vector[][]	PCMatrix
java.util.Vector	RelationList

Constructor Summary

CMatrix(MKB theMKB)

Method Summary

private void	addPCs()
private void	addRelations()
private java.util.Vector	FindPair(PCConstraint PC1, PCConstraint PC2)
java.util.Vector	GetDerivedPC()
private java.lang.String	GetSubExt(java.lang.String oldExt)
private void	initMatrix()
private void	IterMatrix(int IterNum)
(package private) static java.lang.String	MergeExt(java.lang.String Ext1, java.lang.String Ext2)
private void	Multi(int x1, int y1, int x2, int y2, int IterNum)
private PCConstraint	PCMulti(PCConstraint PC1, PCConstraint PC2)

Methods inherited from class java.lang.Object

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

Field Detail

DEBUG

private static final boolean DEBUG

MainMKB

public MKB MainMKB

MatrixSize

public int MatrixSize

RelationList

public java.util.Vector RelationList

PCMatrix

public java.util.Vector[][] PCMatrix

Constructor Detail

CMatrix

public CMatrix(MKB theMKB)

Method Detail

GetDerivedPC

public java.util.Vector GetDerivedPC()

initMatrix

private void initMatrix()

IterMatrix

private void IterMatrix(int IterNum)

Multi

private void Multi(int x1,
                   int y1,
                   int x2,
                   int y2,
                   int IterNum)

addPCs

private void addPCs()

addRelations

private void addRelations()

PCMulti

private PCConstraint PCMulti(PCConstraint PC1,
                             PCConstraint PC2)

MergeExt

static java.lang.String MergeExt(java.lang.String Ext1,
                                 java.lang.String Ext2)

GetSubExt

private java.lang.String GetSubExt(java.lang.String oldExt)

FindPair

private java.util.Vector FindPair(PCConstraint PC1,
                                  PCConstraint PC2)