ABACUS provides some default concepts for the representation of constraints and variables. However, it still might be necessary that for a new application special classes have to be derived from the classes ABA_CONSTRAINT and ABA_VARIABLE , which then implement application specific methods and storage formats.