Class AbstractPEAFInducer

java.lang.Object
org.tweetyproject.arg.bipolar.inducers.AbstractPEAFInducer
All Implemented Interfaces:
PEAFInducer
Direct Known Subclasses:
ApproxPEAFInducer, ExactPEAFInducer, LiExactPEAFInducer

public abstract class AbstractPEAFInducer extends Object implements PEAFInducer
AbstractPEAFInducer includes helper functions for concrete implementations
Author:
Taha Dogan Gunes
  • Constructor Details

    • AbstractPEAFInducer

      public AbstractPEAFInducer(PEAFTheory peafTheory)
      Default constructor (checks if the given PEAF is cyclic or not.)

      Cyclic in PEAF support links is forbidden in PEAF specification.

      Parameters:
      peafTheory - a PEAFTheory object
  • Method Details

    • induceNTimes

      public void induceNTimes(Consumer<InducibleEAF> consumer, int n)
      Parameters:
      consumer - a inducible eaf consumer
      n - number of iterations
    • getPeafTheory

      public PEAFTheory getPeafTheory()
      Returns the used PEAFTheory in inducer
      Returns:
      the given PEAFTheory object