Class RandomAspicReasoner<T extends Invertable>

    • Constructor Detail

      • RandomAspicReasoner

        public RandomAspicReasoner​(AbstractExtensionReasoner aafReasoner,
                                   int maxArguments,
                                   int maxDuplicates)
        Creates a new instance.
        Parameters:
        aafReasoner - Underlying reasoner for AAFs.
        maxArguments - The maximal number of arguments constructed by this reasoner.
        maxDuplicates - The maximal number of duplicates tolerated before this reasoner cancels looking for more arguments (even if maxArguments is not yet reached).