CMinimize

Overview

Package

Class

Use

Deprecated

Index

Home >> All >> [ JLex overview ]

PREV CLASS NEXT CLASS

SUMMARY:

JAVADOC |

SOURCE |

DOWNLOAD | NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

JLex
Class CMinimize

java.lang.Object
  JLex.CMinimize

class CMinimize
extends java.lang.Object

Class: CMinimize

Field Summary

(package private) java.util.Vector m_group


(package private) int[] m_ingroup


(package private) CSpec m_spec
          Member Variables

Constructor Summary

(package private) CMinimize()
          Function: CMinimize Description: Constructor.

Method Summary

private void col_copy(int dest, int src)
          Function: col_copy Description: Copies source column into destination column.

private boolean col_equiv(int col1, int col2)
          Function: col_equiv Description:

private void fix_dtrans()
          Function: fix_dtrans Description: Updates CDTrans table after minimization using groups, removing redundant transition table states.

private void init_groups()
          Function: init_groups Description:

(package private) void min_dfa(CSpec spec)
          Function: min_dfa Description: High-level access function to module.

private void minimize()
          Function: minimize Description: Removes redundant transition table states.

private void pgroups()
          Function: pgroups

private void pset(java.util.Vector dtrans_group)
          Function: pset

private void reduce()
          Function: reduce Description:

private void reset()
          Function: reset Description: Resets member variables.

private void row_copy(int dest, int src)
          Function: row_copy Description: Copies source row into destination row.

private boolean row_equiv(int row1, int row2)
          Function: row_equiv Description:

private void set(CSpec spec)
          Function: set Description: Sets member variables.

private void trunc_col()
          Function: trunc_col Description: Truncates each column to the 'correct' length.

Methods inherited from class java.lang.Object

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

Field Detail

m_spec

CSpec m_spec

Member Variables

m_group

java.util.Vector m_group

m_ingroup

int[] m_ingroup

Constructor Detail

CMinimize

CMinimize()

Function: CMinimize Description: Constructor.

Method Detail

reset

private void reset()

Function: reset Description: Resets member variables.

set

private void set(CSpec spec)

Function: set Description: Sets member variables.

min_dfa

void min_dfa(CSpec spec)

Function: min_dfa Description: High-level access function to module.

col_copy

private void col_copy(int dest,
                      int src)

Function: col_copy Description: Copies source column into destination column.

trunc_col

private void trunc_col()

Function: trunc_col Description: Truncates each column to the 'correct' length.

row_copy

private void row_copy(int dest,
                      int src)

Function: row_copy Description: Copies source row into destination row.

col_equiv

private boolean col_equiv(int col1,
                          int col2)

Function: col_equiv Description:

row_equiv

private boolean row_equiv(int row1,
                          int row2)

Function: row_equiv Description:

reduce

private void reduce()

Function: reduce Description:

fix_dtrans

private void fix_dtrans()

Function: fix_dtrans Description: Updates CDTrans table after minimization using groups, removing redundant transition table states.

minimize

private void minimize()

Function: minimize Description: Removes redundant transition table states.

init_groups

private void init_groups()

Function: init_groups Description:

pset

private void pset(java.util.Vector dtrans_group)

Function: pset

pgroups

private void pgroups()

Function: pgroups

Overview

Package

Class

Use

Deprecated

Index

Home >> All >> [ JLex overview ]

PREV CLASS NEXT CLASS

SUMMARY:

JAVADOC |

SOURCE |

DOWNLOAD | NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

Field Summary
`(package private) java.util.Vector`	`m_group`
`(package private) int[]`	`m_ingroup`
`(package private) CSpec`	`m_spec` Member Variables

Constructor Summary
`(package private)`	`CMinimize()` Function: CMinimize Description: Constructor.

Method Summary
`private void`	`col_copy(int dest, int src)` Function: col_copy Description: Copies source column into destination column.
`private boolean`	`col_equiv(int col1, int col2)` Function: col_equiv Description:
`private void`	`fix_dtrans()` Function: fix_dtrans Description: Updates CDTrans table after minimization using groups, removing redundant transition table states.
`private void`	`init_groups()` Function: init_groups Description:
`(package private) void`	`min_dfa(CSpec spec)` Function: min_dfa Description: High-level access function to module.
`private void`	`minimize()` Function: minimize Description: Removes redundant transition table states.
`private void`	`pgroups()` Function: pgroups
`private void`	`pset(java.util.Vector dtrans_group)` Function: pset
`private void`	`reduce()` Function: reduce Description:
`private void`	`reset()` Function: reset Description: Resets member variables.
`private void`	`row_copy(int dest, int src)` Function: row_copy Description: Copies source row into destination row.
`private boolean`	`row_equiv(int row1, int row2)` Function: row_equiv Description:
`private void`	`set(CSpec spec)` Function: set Description: Sets member variables.
`private void`	`trunc_col()` Function: trunc_col Description: Truncates each column to the 'correct' length.

JLex Class CMinimize

m_spec

m_group

m_ingroup

CMinimize

reset

set

min_dfa

col_copy

trunc_col

row_copy

col_equiv

row_equiv

reduce

fix_dtrans

minimize

init_groups

pset

pgroups

JLex
Class CMinimize