Class BinarySupport

    • Constructor Summary

      Constructors 
      Constructor Description
      BinarySupport​(BArgument supporter, BArgument supported)
      Default constructor; initializes the two arguments used in this support relation
    • Method Summary

      Modifier and Type Method Description
      boolean contains​(java.lang.Object o)  
      boolean equals​(java.lang.Object o)  
      LdoFormula getLdoFormula()
      Returns a logical representation of this entity in LDO (Logic of dialectical outcomes, cf.
      Signature getSignature()
      Returns the signature of the language of this formula.
      BArgument getSupported()
      returns the supported argument of this support relation.
      BArgument getSupporter()
      returns the supporting argument of this support relation.
      int hashCode()  
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

        getClass, notify, notifyAll, wait, wait, wait
    • Constructor Detail

      • BinarySupport

        public BinarySupport​(BArgument supporter,
                             BArgument supported)
        Default constructor; initializes the two arguments used in this support relation
        Parameters:
        supporter - the supporting argument
        supported - the supported argument
    • Method Detail

      • getSupported

        public BArgument getSupported()
        returns the supported argument of this support relation.
        Specified by:
        getSupported in interface Support
        Returns:
        the supported argument of this support relation.
      • getSupporter

        public BArgument getSupporter()
        returns the supporting argument of this support relation.
        Specified by:
        getSupporter in interface Support
        Returns:
        the supporting argument of this support relation.
      • getSignature

        public Signature getSignature()
        Description copied from interface: Formula
        Returns the signature of the language of this formula.
        Specified by:
        getSignature in interface Formula
        Returns:
        the signature of the language of this formula.
      • equals

        public boolean equals​(java.lang.Object o)
        Overrides:
        equals in class Edge<BArgument>
      • getLdoFormula

        public LdoFormula getLdoFormula()
        Description copied from interface: DungEntity
        Returns a logical representation of this entity in LDO (Logic of dialectical outcomes, cf. [Hunter, Thimm, 2015])
        Specified by:
        getLdoFormula in interface DungEntity
        Returns:
        the logical formula of this entity.
      • contains

        public boolean contains​(java.lang.Object o)
        Specified by:
        contains in interface BipolarEntity