Class SimplePlLogicArgument

  • All Implemented Interfaces:
    DungEntity, Formula, Node

    public class SimplePlLogicArgument
    extends Argument
    Author:
    Federico Cerutti (federico.cerutti@acm.org) Argument structure as defined in http://www0.cs.ucl.ac.uk/staff/a.hunter/papers/ac13t.pdf
    • Constructor Detail

      • SimplePlLogicArgument

        public SimplePlLogicArgument​(java.util.Collection<SimplePlRule> _support,
                                     PlFormula _claim)
      • SimplePlLogicArgument

        public SimplePlLogicArgument​(Derivation<SimplePlRule> derivation)
        Constructor
        Parameters:
        derivation - some derivation
    • Method Detail

      • getSupport

        public java.util.Collection<? extends SimplePlRule> getSupport()
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class Argument
      • equals

        public boolean equals​(java.lang.Object obj)
        Overrides:
        equals in class Argument