toggle menu
DICE API Documentation
JVM
switch theme
search in API
DICE API Documentation
/
com.embabel.dice.operations.consolidation
/
AbstractionPass
/
AbstractionPass
Abstraction
Pass
constructor
(
abstractor
:
PropositionAbstractor
,
abstractionThreshold
:
Int
=
5
,
abstractionTargetCount
:
Int
=
3
,
maxLevel
:
Int
=
3
)