Package dk.brics.servletvalidator.balancing.inequality

Representations of constraints that need to be solved to find a function d as in Theorem 1, p 273 [Knuth]

See:
Description

Class Summary

Dependency	A dependency is a a reference to a non terminal that another non terminal depends on along with a constant
Node	A node holds a non terminal and a number of dependencies
ThetaVarConstructor	Constructs the inequalities needed to find the method d as described in [Knuth] Theorem 1 and [Joda] section 9

Package dk.brics.servletvalidator.balancing.inequality Description

Representations of constraints that need to be solved to find a function d as in Theorem 1, p 273 [Knuth]