BoundPropagator (refinery-store-dse 0.1.4-SNAPSHOT API)

All Known Implementing Classes:: BoundRuleBasedPropagator

Functional Interface:: This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.

@FunctionalInterface public interface BoundPropagator

Method Summary

Modifier and Type

Method

Description

default PropagationResult

checkConcretization()

default boolean

concretizationRequested()

default PropagationResult

concretizeOne()

PropagationResult

propagateOne()

default PropagationResult

propagateOne(PropagationRequest request)

Method Details
- propagateOne
  
  PropagationResult propagateOne()
- propagateOne
  
  default PropagationResult propagateOne(PropagationRequest request)
- concretizationRequested
  
  default boolean concretizationRequested()
- concretizeOne
  
  default PropagationResult concretizeOne()
- checkConcretization
  
  default PropagationResult checkConcretization()