Package net.sf.tweety.arg.adf.transform
-
Interface Summary Interface Description SimpleTransform<R> A convenience interface for simple transformation operations on the recursive structure of the acceptance conditions.Transform<C,R> An interface which allows transform operations on the recursive structure of AcceptanceCondition. -
Class Summary Class Description DefinitionalCNFTransform An implementation of a definitional (resp.FixPartialTransform Syntactically rewrites the acceptance condition s.t.OmegaReductTransform Replaces all unsatisfied arguments relative to a given interpretation with falsum.PlFormulaTransform