Package org.tweetyproject.lp.asp.syntax
Class AggregateHead
- java.lang.Object
-
- org.tweetyproject.lp.asp.syntax.ASPElement
-
- org.tweetyproject.lp.asp.syntax.ASPHead
-
- org.tweetyproject.lp.asp.syntax.AggregateHead
-
- All Implemented Interfaces:
Formula
,ComplexLogicalFormula
,LogicStructure
,SimpleLogicalFormula
public class AggregateHead extends ASPHead
This class is a variant of the basic ASP rule head. It allows the usage of aggregate atoms as heads. Note: this is not allowed in the ASP-Core-2 standard.- Author:
- Anna Gessler
-
-
Constructor Summary
Constructors Constructor Description AggregateHead()
Creates a new empty ASPAggregateHead.AggregateHead(java.util.List<ASPBodyElement> literals, int leftBound, int rightBound)
Creates a new cardinality rule head.AggregateHead(AggregateAtom head)
Creates a new ASPAggregateHead with the given aggregate atom.
-
Method Summary
Modifier and Type Method Description ASPElement
clone()
Creates a deep copy of this formulajava.util.Set<ASPAtom>
getAtoms()
Processes the set of all atoms which appear in this formulaAggregateAtom
getFormula()
java.util.Collection<? extends ASPLiteral>
getLiterals()
Returns all literals in this element in form of a SortedSet.java.util.Set<Predicate>
getPredicates()
Processes the set of all predicates which appear in this formulaFolSignature
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
isEmpty()
boolean
isLiteral()
java.lang.String
printToClingo()
Returns a representation of this ASP element in clingo (potassco) syntax.void
setFormula(AggregateAtom head)
Sets the aggregate atom that makes up this rule head.ASPElement
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, exchange, getPredicateCls, isGround, isWellFormed, substitute
-
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
-
AggregateHead
public AggregateHead(AggregateAtom head)
Creates a new ASPAggregateHead with the given aggregate atom.- Parameters:
head
- an AggregateAtom
-
AggregateHead
public AggregateHead()
Creates a new empty ASPAggregateHead.
-
AggregateHead
public AggregateHead(java.util.List<ASPBodyElement> literals, int leftBound, int rightBound)
Creates a new cardinality rule head.- Parameters:
literals
- of the cardinality rule headleftBound
- of the cardinality rulerightBound
- of the cardinality rule
-
-
Method Detail
-
getFormula
public AggregateAtom getFormula()
- Returns:
- the aggregate atom that makes up this rule head.
-
setFormula
public void setFormula(AggregateAtom head)
Sets the aggregate atom that makes up this rule head.- Parameters:
head
- the head to set
-
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
-
substitute
public ASPElement 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.
-
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
-
clone
public ASPElement 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
-
isEmpty
public boolean isEmpty()
-
getLiterals
public java.util.Collection<? extends ASPLiteral> getLiterals()
Description copied from class:ASPHead
Returns all literals in this element in form of a SortedSet. Literals are atoms or strict negations of atoms.- Specified by:
getLiterals
in classASPHead
- Returns:
- all the literals used in the rule element
-
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
-
-