Class CausalReasonerService.SequenceExplanations

java.lang.Object
org.tweetyproject.web.services.causal.CausalReasonerService.SequenceExplanations
Enclosing class:
CausalReasonerService

public static final class CausalReasonerService.SequenceExplanations extends Object
Class bundling sequence explanations and additional information
  • Constructor Details

    • SequenceExplanations

      public SequenceExplanations(Set<Attack> attacks, Map<Proposition,List<DialectialSequenceExplanation>> perAtomSequenceExplanations)
      Initialize new instance
      Parameters:
      attacks - a set of attacks
      perAtomSequenceExplanations - Map of atoms to sequence explanations
  • Method Details

    • getAttacks

      public Set<Attack> getAttacks()
      Returns the attacks that were used to build the sequence explanations.
      Returns:
      set of attacks
    • getPerAtomSequenceExplanations

      public Map<Proposition,List<DialectialSequenceExplanation>> getPerAtomSequenceExplanations()
      Returns the sequence explanations grouped by conclusion atom.
      Returns:
      map from proposition to sequence explanations