Package net.sf.tweety.arg.dung.ldo.syntax

Class LdoArgument

  • All Implemented Interfaces:
    Comparable<LdoArgument>, net.sf.tweety.commons.Formula, net.sf.tweety.logics.commons.syntax.interfaces.Atom, net.sf.tweety.logics.commons.syntax.interfaces.ClassicalFormula, net.sf.tweety.logics.commons.syntax.interfaces.Conjunctable, net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable, net.sf.tweety.logics.commons.syntax.interfaces.Invertable, net.sf.tweety.logics.commons.syntax.interfaces.ProbabilityAware, net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
    public class LdoArgument
extends LdoFormula
implements net.sf.tweety.logics.commons.syntax.interfaces.Atom, Comparable<LdoArgument>
    This class represents an argument in ldo.
    Author:
    Matthias Thimm, Tim Janus

    • Constructor Detail

      • LdoArgument

        public LdoArgument()
        Default-Ctor for dynamic instantiation

      • LdoArgument

        public LdoArgument​(String name)
        Creates a new proposition of the given name.
        Parameters:
        name - the name of the proposition.

      • LdoArgument

        public LdoArgument​(LdoArgument other)

    • Method Detail

      • getArgument

        public Argument getArgument()
        Returns an argument representation (in Dung-style) of this LdoArgument.
        Returns:
        an argument representation (in Dung-style) of this LdoArgument.

      • getName

        public String getName()
        Specified by:
        getName in interface net.sf.tweety.logics.commons.syntax.interfaces.Atom
        Returns:
        the name of this proposition.

      • getPredicate

        public net.sf.tweety.logics.pl.syntax.PlPredicate getPredicate()
        Specified by:
        getPredicate in interface net.sf.tweety.logics.commons.syntax.interfaces.Atom

      • getPredicates

        public Set<net.sf.tweety.logics.pl.syntax.PlPredicate> getPredicates()
        Specified by:
        getPredicates in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
        Specified by:
        getPredicates in class LdoFormula

      • hashCode

        public int hashCode()
        Specified by:
        hashCode in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
        Specified by:
        hashCode in class LdoFormula

      • equals

        public boolean equals​(Object obj)
        Specified by:
        equals in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
        Specified by:
        equals in class LdoFormula

      • clone

        public LdoArgument clone()
        Specified by:
        clone in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
        Specified by:
        clone in class LdoFormula

      • addArgument

        public void addArgument​(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> arg)
        Specified by:
        addArgument in interface net.sf.tweety.logics.commons.syntax.interfaces.Atom

      • getArguments

        public List<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> getArguments()
        Specified by:
        getArguments in interface net.sf.tweety.logics.commons.syntax.interfaces.Atom

      • isComplete

        public boolean isComplete()
        Specified by:
        isComplete in interface net.sf.tweety.logics.commons.syntax.interfaces.Atom

      • getAtoms

        public Set<LdoArgument> getAtoms()
        Specified by:
        getAtoms in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
        Specified by:
        getAtoms in class LdoFormula

      • isLiteral

        public boolean isLiteral()
        Specified by:
        isLiteral in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
        Overrides:
        isLiteral in class LdoFormula

      • getLiterals

        public Set<LdoFormula> getLiterals()
        Description copied from class: LdoFormula
        Returns all literals, i.e. all formulas of the form "a" or "!a" where "a" is a proposition, that appear in this formula.
        Specified by:
        getLiterals in class LdoFormula
        Returns:
        all literals appearing in this formula.

      • setPredicate

        public net.sf.tweety.logics.commons.syntax.interfaces.Atom.RETURN_SET_PREDICATE setPredicate​(net.sf.tweety.logics.commons.syntax.Predicate predicate)
        Specified by:
        setPredicate in interface net.sf.tweety.logics.commons.syntax.interfaces.Atom