Class BArgument

  • All Implemented Interfaces:
    BipolarEntity, net.sf.tweety.arg.dung.syntax.DungEntity, net.sf.tweety.commons.Formula, net.sf.tweety.graphs.Node

    public class BArgument
    extends net.sf.tweety.arg.dung.syntax.Argument
    implements BipolarEntity
    This class models an argument used by bipolar abstract argumentation theories.
    Author:
    Lars Bengel
    • Constructor Summary

      Constructors 
      Constructor Description
      BArgument​(String name)  
      BArgument​(net.sf.tweety.arg.dung.syntax.Argument arg)  
    • Method Summary

      Modifier and Type Method Description
      boolean contains​(Object arg0)  
      • Methods inherited from class net.sf.tweety.arg.dung.syntax.Argument

        equals, getLdoArgument, getLdoFormula, getName, getSignature, hashCode, setName, toString
      • Methods inherited from interface net.sf.tweety.arg.dung.syntax.DungEntity

        getLdoFormula
      • Methods inherited from interface net.sf.tweety.commons.Formula

        getSignature
    • Constructor Detail

      • BArgument

        public BArgument​(String name)
      • BArgument

        public BArgument​(net.sf.tweety.arg.dung.syntax.Argument arg)