Interface DungEntity

    • Method Summary

      Modifier and Type Method Description
      LdoFormula getLdoFormula()
      Returns a logical representation of this entity in LDO (Logic of dialectical outcomes, cf.
    • Method Detail

      • getLdoFormula

        LdoFormula getLdoFormula()
        Returns a logical representation of this entity in LDO (Logic of dialectical outcomes, cf. [Hunter, Thimm, 2015])
        Returns:
        the logical formula of this entity.