FixPartialSatEncoding

java.lang.Object

org.tweetyproject.arg.adf.reasoner.sat.encodings.FixPartialSatEncoding

All Implemented Interfaces:: RelativeSatEncoding

public class FixPartialSatEncoding extends Object implements RelativeSatEncoding

Fixes the already assigned true/false values.

Author:: Mathias Hofer

Constructor Summary

Constructors

Constructor

Description

FixPartialSatEncoding(PropositionalMapping mapping)

Creates a new encoding for fixing partial interpretations.
Method Summary

Modifier and Type

Method

Description

void

encode(Consumer<Clause> consumer, Interpretation interpretation)

Encodes clauses relative to the given interpretation.

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- FixPartialSatEncoding
  
  public FixPartialSatEncoding(PropositionalMapping mapping)
  
  Creates a new encoding for fixing partial interpretations.
  
  Parameters:
  
  mapping - mapping
Method Details
- encode
  
  public void encode(Consumer<Clause> consumer, Interpretation interpretation)
  
  Description copied from interface: RelativeSatEncoding
  
  Encodes clauses relative to the given interpretation.
  
  Specified by:
  
  encode in interface RelativeSatEncoding
  
  Parameters:
  
  consumer - the consumer that receives generated clauses
  
  interpretation - the reference interpretation