Package org.tweetyproject.lp.asp.syntax
Class AggregateElement
- java.lang.Object
-
- org.tweetyproject.lp.asp.syntax.ASPElement
-
- org.tweetyproject.lp.asp.syntax.AggregateElement
-
- All Implemented Interfaces:
Formula
,ComplexLogicalFormula
,LogicStructure
,SimpleLogicalFormula
public class AggregateElement extends ASPElement
This class models an aggregate element, meaning a set of terms and a set of naf literals (= literals or default negated literals). One or more aggregate elements form an aggregate atom.- Author:
- Anna Gessler
- See Also:
AggregateAtom
-
-
Constructor Summary
Constructors Constructor Description AggregateElement(java.util.List<Term<?>> terms, java.util.List<ASPBodyElement> literals)
Creates a new Aggregate Element with the given list of terms and the given list of naf literals.AggregateElement(Term<?> term, java.util.List<ASPBodyElement> literals)
Creates a new Aggregate Element with the given single term and the given list of naf literals.AggregateElement(Term<?> term, ASPBodyElement literal)
Creates a new Aggregate Element with the given single term and the given single literal.AggregateElement(Term<?> term, ASPBodyElement... literals)
Creates a new Aggregate Element with the given single term and the given naf literals.AggregateElement(AggregateElement other)
Copy-Constructor
-
Method Summary
Modifier and Type Method Description AggregateElement
clone()
Creates a deep copy of this formulaAggregateElement
exchange(Term<?> v, Term<?> t)
Substitutes all occurrences of term "v" in this formula by term "t" and at the same time replaces all occurrences of term "t" by term "v" and eventually returns the new formula.java.util.Set<ASPAtom>
getAtoms()
Processes the set of all atoms which appear in this formulajava.util.List<Term<?>>
getLeft()
java.util.SortedSet<ASPLiteral>
getLiterals()
java.util.Set<Predicate>
getPredicates()
Processes the set of all predicates which appear in this formulajava.util.List<ASPBodyElement>
getRight()
Returns the right part (the literals tuple) of the Aggregate element.FolSignature
getSignature()
Returns the signature of the language of this formula.java.util.Set<Term<?>>
getTerms()
<C extends Term<?>>
java.util.Set<C>getTerms(java.lang.Class<C> cls)
Processes the set containing all terms of type C.boolean
isLiteral()
java.lang.String
printToClingo()
Returns a representation of this ASP element in clingo (potassco) syntax.void
setLeft(java.util.List<Term<?>> terms)
Sets the term tuple of the aggregate element.void
setRight(java.util.List<ASPBodyElement> literals)
Sets the literal tuple of this aggregate element.AggregateElement
substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map)
Substitutes all occurrences of all terms "v" in map.keyset() in this formula by map.get(v) and returns the new formula.AggregateElement
substitute(Term<?> t, Term<?> v)
Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula.java.lang.String
toString()
-
Methods inherited from class org.tweetyproject.lp.asp.syntax.ASPElement
containsTermsOfType, getPredicateCls, isGround, isWellFormed
-
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
-
Methods inherited from interface org.tweetyproject.logics.commons.syntax.interfaces.SimpleLogicalFormula
equals, hashCode
-
-
-
-
Constructor Detail
-
AggregateElement
public AggregateElement(java.util.List<Term<?>> terms, java.util.List<ASPBodyElement> literals)
Creates a new Aggregate Element with the given list of terms and the given list of naf literals.- Parameters:
terms
- a list of termsliterals
- a list of body elements
-
AggregateElement
public AggregateElement(Term<?> term, ASPBodyElement literal)
Creates a new Aggregate Element with the given single term and the given single literal.- Parameters:
term
-literal
-
-
AggregateElement
public AggregateElement(Term<?> term, java.util.List<ASPBodyElement> literals)
Creates a new Aggregate Element with the given single term and the given list of naf literals.- Parameters:
term
-literals
- a list of body elements
-
AggregateElement
public AggregateElement(Term<?> term, ASPBodyElement... literals)
Creates a new Aggregate Element with the given single term and the given naf literals.- Parameters:
term
-literals
-
-
AggregateElement
public AggregateElement(AggregateElement other)
Copy-Constructor- Parameters:
other
- another AggregateElement
-
-
Method Detail
-
isLiteral
public boolean isLiteral()
- Returns:
- true if the formula represents a literal in the language or false otherwise
-
getTerms
public java.util.Set<Term<?>> getTerms()
- Returns:
- a set containing all terms of this logical structure
-
getTerms
public <C extends Term<?>> java.util.Set<C> getTerms(java.lang.Class<C> cls)
Description copied from interface:LogicStructure
Processes the set containing all terms of type C. This method uses the equals method of the given Class and therefore does not add terms which are sub classes of type C to the set.- Type Parameters:
C
- the type of terms- Parameters:
cls
- The Class structure containing type information about the searched term- Returns:
- A set containing all terms of type C of this logical structure
-
getPredicates
public java.util.Set<Predicate> 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 classASPElement
- Returns:
- all predicates that appear in this formula
-
getAtoms
public java.util.Set<ASPAtom> 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 classASPElement
- Returns:
- The set of all atoms
-
substitute
public AggregateElement substitute(Term<?> t, Term<?> v)
Description copied from interface:ComplexLogicalFormula
Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula.- Specified by:
substitute
in interfaceComplexLogicalFormula
- Specified by:
substitute
in classASPElement
- Parameters:
t
- the term to be substituted.v
- the term to substitute.- Returns:
- a formula where every occurrence of "v" is replaced by "t".
-
getSignature
public FolSignature getSignature()
Description copied from interface:Formula
Returns the signature of the language of this formula.- Specified by:
getSignature
in interfaceFormula
- Specified by:
getSignature
in classASPElement
- Returns:
- the signature of the language of this formula.
-
clone
public AggregateElement clone()
Description copied from interface:SimpleLogicalFormula
Creates a deep copy of this formula- Specified by:
clone
in interfaceComplexLogicalFormula
- Specified by:
clone
in interfaceSimpleLogicalFormula
- Specified by:
clone
in classASPElement
- Returns:
- the cloned formula
-
getLeft
public java.util.List<Term<?>> getLeft()
- Returns:
- the left part (the term tuple) of the Aggregate element.
-
getRight
public java.util.List<ASPBodyElement> getRight()
Returns the right part (the literals tuple) of the Aggregate element.- Returns:
- list of naf literals (= literals or default negated literals)
-
setLeft
public void setLeft(java.util.List<Term<?>> terms)
Sets the term tuple of the aggregate element.- Parameters:
terms
- the term tuple to set
-
setRight
public void setRight(java.util.List<ASPBodyElement> literals)
Sets the literal tuple of this aggregate element.- Parameters:
literals
- the literal tuple to set
-
substitute
public AggregateElement substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map) throws java.lang.IllegalArgumentException
Description copied from interface:ComplexLogicalFormula
Substitutes all occurrences of all terms "v" in map.keyset() in this formula by map.get(v) and returns the new formula.- Specified by:
substitute
in interfaceComplexLogicalFormula
- Overrides:
substitute
in classASPElement
- Parameters:
map
- a mapping defining which terms to be substituted.- Returns:
- a formula where every term in map.keyset() has been replaced by map.get(v).
- Throws:
java.lang.IllegalArgumentException
- if any term and its mapping are of different sorts
-
exchange
public AggregateElement exchange(Term<?> v, Term<?> t) throws java.lang.IllegalArgumentException
Description copied from interface:ComplexLogicalFormula
Substitutes all occurrences of term "v" in this formula by term "t" and at the same time replaces all occurrences of term "t" by term "v" and eventually returns the new formula.- Specified by:
exchange
in interfaceComplexLogicalFormula
- Overrides:
exchange
in classASPElement
- Parameters:
v
- a term.t
- a term.- Returns:
- a new logical formula with both "v" and "t" exchanged.
- Throws:
java.lang.IllegalArgumentException
- if "v" and "t" are of different sorts
-
getLiterals
public java.util.SortedSet<ASPLiteral> getLiterals()
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
printToClingo
public java.lang.String printToClingo()
Description copied from class:ASPElement
Returns a representation of this ASP element in clingo (potassco) syntax. See https://potassco.org/ for more information.- Overrides:
printToClingo
in classASPElement
- Returns:
- String representation in clingo syntax
-
-