RelativeSatEncoding

All Known Implementing Classes:: ConflictFreeInterpretationSatEncoding, FixPartialSatEncoding, LargerInterpretationSatEncoding, RefineLargerSatEncoding, RefineUnequalSatEncoding, TwoValuedModelSatEncoding

public interface RelativeSatEncoding

A SatEncoding which is relative to a given interpretation.

Author:: Mathias

Method Summary

Modifier and Type

Method

Description

void

encode(Consumer<Clause> consumer, Interpretation interpretation)

Method Details
- encode
  
  void encode(Consumer<Clause> consumer, Interpretation interpretation)
  
  Parameters:
  
  consumer - consumer
  
  interpretation - interpretation