Class TseitinTransformer.Builder

  • Enclosing class:
    TseitinTransformer

    public static final class TseitinTransformer.Builder
    extends java.lang.Object
    • Constructor Detail

      • Builder

        public Builder​(java.util.function.Function<Argument,​Proposition> argumentMapping)
        Parameters:
        argumentMapping - the argument to proposition mapping
    • Method Detail

      • setOptimize

        public TseitinTransformer.Builder setOptimize​(boolean optimize)
        The optimization generates only the necessary parts of the definitions based on the polarity of the subformulas, i.e. <- or -> (or both for polarity = 0) instead of always <->.
        Parameters:
        optimize - the optimize to set
        Returns:
        the builder
      • setTopLevelPolarity

        public TseitinTransformer.Builder setTopLevelPolarity​(int topLevelPolarity)
        Parameters:
        topLevelPolarity - the topLevelPolarity to set
        Returns:
        the builder