Class FixPartialTransformer

All Implemented Interfaces:

public final class FixPartialTransformer extends AbstractTransformer<AcceptanceCondition,​Void,​AcceptanceCondition>
Syntactically rewrites the acceptance condition s.t. the arguments are replaced with the corresponding constants TautologyAcceptanceCondition or ContradictionAcceptanceCondition according to the given (partial) interpretation.

Some examples:
and(a,b,c) with {t(a), u(b), u(c)} becomes and(b,c).
or(a,b,c) with {t(a), u(b), u(c)} becomes T.
or(a,b,c) with {f(a), u(b), u(c)} becomes or(b,c).

Mathias Hofer
  • Constructor Details

    • FixPartialTransformer

      public FixPartialTransformer(Interpretation interpretation)
      interpretation - the interpretation which is used