Uses of Class
wpds.impl.Weight.NoWeight

Packages that use Weight.NoWeight

Package	Description
wpds.impl
wpds.wildcard

Uses of Weight.NoWeight in wpds.impl

Fields in wpds.impl declared as Weight.NoWeight

Modifier and Type	Field and Description
static Weight.NoWeight	Weight.NO_WEIGHT_ONE
static Weight.NoWeight	Weight.NO_WEIGHT_ZERO

Methods in wpds.impl that return Weight.NoWeight

Modifier and Type	Method and Description
Weight.NoWeight	PAutomaton.getOne()
Weight.NoWeight	PAutomaton.getZero()

Method parameters in wpds.impl with type arguments of type Weight.NoWeight

Modifier and Type	Method and Description
boolean	PushdownSystem.addRule(Rule<N,D,Weight.NoWeight> rule)

Uses of Weight.NoWeight in wpds.wildcard

Methods in wpds.wildcard that return types with arguments of type Weight.NoWeight

Modifier and Type	Method and Description
Set<NormalRule<N,D,Weight.NoWeight>>	WildcardPushdownSystem.getNormalRulesEnding(D start, N string)
Set<PushRule<N,D,Weight.NoWeight>>	WildcardPushdownSystem.getPushRulesEnding(D start, N string)
Set<Rule<N,D,Weight.NoWeight>>	WildcardPushdownSystem.getRulesStarting(D start, N string)