Package | Description |
---|---|
pl.poznan.put.cs.idss.jrs.approximations |
Modifier and Type | Class | Description |
---|---|---|
class |
ConfirmatoryMonotonicUnionContainer |
Class used to create and store all upward and downward confirmatory monotonic unions which can be defined for a memory container
|
class |
MonotonicUnionContainer |
Class used to create and store all upward and downward monotonic unions which can be defined for a memory container
|
class |
PairDecisionMonotonicUnionContainer |
Class used to create and store all upward and downward standard unions which can be defined for a memory container
|
class |
StandardJmafUnionContainer |
Implementation of
StandardUnionContainer used by foremka
project. |
class |
StandardUnionContainer |
Class used to create and store all upward and downward standard unions which can be defined for a memory container
|
class |
UnionContainer |
Class used to create and store all upward and downward unions which can be defined for a memory container
|