| java.lang.Object gov.nasa.ltl.trans.Node
accepting_conds | public static int accepting_conds(Code) | | |
RTstructure | public void RTstructure(State[] RTautomaton)(Code) | | |
compare_accepting | public boolean compare_accepting(Node nd)(Code) | | |
debug | public void debug()(Code) | | |
decompose_ands_for_next | public void decompose_ands_for_next(Formula form)(Code) | | |
getAcceptingConds | public static int getAcceptingConds()(Code) | | |
getNodeId | public int getNodeId()(Code) | | |
get_equivalenceId | public int get_equivalenceId()(Code) | | |
isInitial | public boolean isInitial()(Code) | | |
reset_static | public static void reset_static()(Code) | | |
set_equivalenceId | public void set_equivalenceId(int value)(Code) | | |
update_accepting | public void update_accepting()(Code) | | |
|
|