Interface 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
    connect the component to the wrapper
  • Method Details

    • initialize

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