sandmark.obfuscate.loop.dfa
Class PostreqDFA

java.lang.Object
  |
  +--sandmark.obfuscate.loop.dfa.DFA
        |
        +--sandmark.obfuscate.loop.dfa.PostreqDFA

public class PostreqDFA

extends DFA

PostreqDFA.java Created: Fri Sep 13 10:11:39 2002

Author:

Kelly T Heffner

Field Summary

Fields inherited from class sandmark.obfuscate.loop.dfa.DFA

myEdges, myStartState, myStates, rangeMap, stateMap

Constructor Summary

PostreqDFA(Algorithm alg1, RequisiteProperty prop, Algorithm[] allAlgs, ApplicationObject[] allObjects)

Method Summary

protected boolean	isLoopEdge(Algorithm alg1, Algorithm a, ApplicationObject t, RequisiteProperty prop, java.util.ArrayList s_q, java.util.ArrayList r_t)
protected boolean	isNonLoopEdge(Algorithm alg1, Algorithm a, ApplicationObject t, RequisiteProperty prop, java.util.ArrayList s_q, java.util.ArrayList s_qp, java.util.ArrayList r_t)

Methods inherited from class sandmark.obfuscate.loop.dfa.DFA

createDFA, dotInFile, getAlphabet, getNodeRangeMap, getPowerset, getStartState, hasProp, reassignWeights, toDot, trimDeadStates, trimUnreachable

Methods inherited from class java.lang.Object

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

Constructor Detail

PostreqDFA

public PostreqDFA(Algorithm alg1,
                  RequisiteProperty prop,
                  Algorithm[] allAlgs,
                  ApplicationObject[] allObjects)

Method Detail

isNonLoopEdge

protected boolean isNonLoopEdge(Algorithm alg1,
                                Algorithm a,
                                ApplicationObject t,
                                RequisiteProperty prop,
                                java.util.ArrayList s_q,
                                java.util.ArrayList s_qp,
                                java.util.ArrayList r_t)

Overrides:

isNonLoopEdge in class DFA

isLoopEdge

protected boolean isLoopEdge(Algorithm alg1,
                             Algorithm a,
                             ApplicationObject t,
                             RequisiteProperty prop,
                             java.util.ArrayList s_q,
                             java.util.ArrayList r_t)

Overrides:

isLoopEdge in class DFA