Class LdoArgument
- java.lang.Object
-
- net.sf.tweety.arg.dung.ldo.syntax.LdoFormula
-
- net.sf.tweety.arg.dung.ldo.syntax.LdoArgument
-
- All Implemented Interfaces:
java.lang.Comparable<LdoArgument>
,Formula
,Atom
,ClassicalFormula
,Conjunctable
,Disjunctable
,Invertable
,ProbabilityAware
,SimpleLogicalFormula
public class LdoArgument extends LdoFormula implements Atom, java.lang.Comparable<LdoArgument>
This class represents an argument in ldo.- Author:
- Matthias Thimm, Tim Janus
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.Atom
Atom.AtomImpl, Atom.RETURN_SET_PREDICATE
-
-
Constructor Summary
Constructors Constructor Description LdoArgument()
Default-Ctor for dynamic instantiationLdoArgument(java.lang.String name)
Creates a new proposition of the given name.LdoArgument(LdoArgument other)
-
Method Summary
Modifier and Type Method Description void
addArgument(Term<?> arg)
Adds an argument to the atom's argument listLdoArgument
clone()
Creates a deep copy of this formulaint
compareTo(LdoArgument o)
boolean
equals(java.lang.Object obj)
Argument
getArgument()
Returns an argument representation (in Dung-style) of this LdoArgument.java.util.List<? extends Term<?>>
getArguments()
java.util.Set<LdoArgument>
getAtoms()
Processes the set of all atoms which appear in this formulajava.util.Set<LdoFormula>
getLiterals()
Returns all literals, i.e.java.lang.String
getName()
PlPredicate
getPredicate()
java.util.Set<PlPredicate>
getPredicates()
Processes the set of all predicates which appear in this formulaDungSignature
getSignature()
Returns the signature of the language of this formula.int
hashCode()
boolean
isComplete()
boolean
isLiteral()
Atom.RETURN_SET_PREDICATE
setPredicate(Predicate predicate)
Changes the predicate of the atom.java.lang.String
toString()
-
Methods inherited from class net.sf.tweety.arg.dung.ldo.syntax.LdoFormula
combineWithAnd, combineWithOr, complement, getDividers, getPredicateCls, getUniformProbability
-
Methods inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
getPredicateCls
-
-
-
-
Constructor Detail
-
LdoArgument
public LdoArgument()
Default-Ctor for dynamic instantiation
-
LdoArgument
public LdoArgument(java.lang.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 java.lang.String getName()
-
getPredicate
public PlPredicate getPredicate()
- Specified by:
getPredicate
in interfaceAtom
- Returns:
- the predicate of the atom
-
getPredicates
public java.util.Set<PlPredicate> getPredicates()
Description copied from interface:SimpleLogicalFormula
Processes the set of all predicates which appear in this formula- Specified by:
getPredicates
in interfaceSimpleLogicalFormula
- Specified by:
getPredicates
in classLdoFormula
- Returns:
- all predicates that appear in this formula
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
getSignature
public DungSignature getSignature()
Description copied from interface:Formula
Returns the signature of the language of this formula.- Specified by:
getSignature
in interfaceFormula
- Overrides:
getSignature
in classLdoFormula
- Returns:
- the signature of the language of this formula.
-
hashCode
public int hashCode()
- Specified by:
hashCode
in interfaceSimpleLogicalFormula
- Specified by:
hashCode
in classLdoFormula
-
equals
public boolean equals(java.lang.Object obj)
- Specified by:
equals
in interfaceSimpleLogicalFormula
- Specified by:
equals
in classLdoFormula
-
clone
public LdoArgument clone()
Description copied from interface:SimpleLogicalFormula
Creates a deep copy of this formula- Specified by:
clone
in interfaceSimpleLogicalFormula
- Specified by:
clone
in classLdoFormula
- Returns:
- the cloned formula
-
addArgument
public void addArgument(Term<?> arg)
Description copied from interface:Atom
Adds an argument to the atom's argument list- Specified by:
addArgument
in interfaceAtom
- Parameters:
arg
- The next argument
-
getArguments
public java.util.List<? extends Term<?>> getArguments()
- Specified by:
getArguments
in interfaceAtom
- Returns:
- A list containing all the arguments of this specific atom
-
isComplete
public boolean isComplete()
- Specified by:
isComplete
in interfaceAtom
- Returns:
- true if the size of the argument list is equal to the arity of the predicate
-
getAtoms
public java.util.Set<LdoArgument> getAtoms()
Description copied from interface:SimpleLogicalFormula
Processes the set of all atoms which appear in this formula- Specified by:
getAtoms
in interfaceSimpleLogicalFormula
- Specified by:
getAtoms
in classLdoFormula
- Returns:
- The set of all atoms
-
isLiteral
public boolean isLiteral()
- Specified by:
isLiteral
in interfaceSimpleLogicalFormula
- Overrides:
isLiteral
in classLdoFormula
- Returns:
- true if the formula represents a literal in the language or false otherwise
-
getLiterals
public java.util.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 classLdoFormula
- Returns:
- all literals appearing in this formula.
-
setPredicate
public Atom.RETURN_SET_PREDICATE setPredicate(Predicate predicate)
Description copied from interface:Atom
Changes the predicate of the atom. Given an old Predicate po and a new predicate pn with their list of arguments types at(po) and at(pn) and the arguments of this Atom: arg(this) this method distinguishes between three cases: 1. The predicate only differ in the names, returning RSP_SUCCESS 2. The old predicates argument types is a sub-list of the new argument types then the method returns RSP_INCOMPLETE and the atoms isComplete() method returns false 3. The new predicates argument types is a sub-list of the old argument types then the method returns RSP_TRUNCATED and the arguments of this atom are truncated too and isComplete() returns true. 4. The old and new predicates' argument types differ then the list of arguments of the atom get cleared and isComplete() returns false.- Specified by:
setPredicate
in interfaceAtom
- Parameters:
predicate
- some predicate- Returns:
- Depends on the cases described above: 1. RSP_SUCCESS 2. RSP_INCOMPLETE 3. RSP_TRUNCATED 4. RSP_CLEARED
-
compareTo
public int compareTo(LdoArgument o)
- Specified by:
compareTo
in interfacejava.lang.Comparable<LdoArgument>
-
-