WrapperComponent

All Known Implementing Classes:: DomainClausesDatabase, DomainTranslator, LazyCpVarDomain, SatCPBridge, SimpleCpVarDomain, WrapperDebugModule

public interface WrapperComponent

a component that is aware of the existence of a SatWrapper

Version:: 4.10

Method Summary

Modifier and Type

Method

Description

void

initialize(SatWrapper wrapper)

connect the component to the wrapper

Method Details
- initialize
  
  void initialize(SatWrapper wrapper)
  
  connect the component to the wrapper
  
  Parameters:
  
  wrapper - the wrapper