Class OmegaReductTransformer

All Implemented Interfaces:
Transformer<AcceptanceCondition>

public class OmegaReductTransformer extends AbstractTransformer<AcceptanceCondition,​Void,​AcceptanceCondition>
Replaces all unsatisfied arguments relative to a provided Interpretation with ContradictionAcceptanceCondition, all the rest remains untouched.
Author:
Mathias Hofer
  • Constructor Details

    • OmegaReductTransformer

      public OmegaReductTransformer(Interpretation interpretation)