com.JLex
Class CMinimize

java.lang.Object
  com.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

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.

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.

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