Class SimpleSccCompleteReasoner

    • Constructor Detail

      • SimpleSccCompleteReasoner

        public SimpleSccCompleteReasoner()
    • Method Detail

      • computeExtensionsViaSccs

        private java.util.Set<Extension> computeExtensionsViaSccs​(DungTheory theory,
                                                                  java.util.List<java.util.Collection<Argument>> sccs,
                                                                  int idx,
                                                                  java.util.Collection<Argument> in,
                                                                  java.util.Collection<Argument> out,
                                                                  java.util.Collection<Argument> undec)
        Computes extensions recursively following the SCC structure.
        Parameters:
        theory - the theory
        sccs - all SCCs topologically sorted
        idx - the current SCC to be processed
        in - all arguments currently in
        out - all arguments currently out
        undec - all arguments currently undecided
        Returns:
        the set of extensions