Package | Description |
---|---|
at.jku.risc.stout.urmc.algo | |
at.jku.risc.stout.urmc.data.atom |
Modifier and Type | Method and Description |
---|---|
void |
MatchSystem.eliminateSeqVariable(HedgeVar seqVar) |
Modifier and Type | Method and Description |
---|---|
static HedgeVar |
NodeFactory.obtainFreshHedgeVar() |