net.sf.tweety.lp.asp.util

Class AnswerSet

java.lang.Object

net.sf.tweety.commons.BeliefSet<DLPLiteral>

net.sf.tweety.lp.asp.util.AnswerSet

All Implemented Interfaces:

java.lang.Iterable<DLPLiteral>, java.util.Collection<DLPLiteral>, BeliefBase

public class AnswerSet
extends BeliefSet<DLPLiteral>

A answer set is a belief set which only contains literals and represents the deductive belief set of an extended logic program under the answer set semantic.

Author:

Tim Janus

Field Summary

Fields

Modifier and Type	Field and Description
int	level
int	weight

Constructor Summary

Constructors

Constructor and Description
AnswerSet()
AnswerSet(AnswerSet other)
AnswerSet(java.util.Collection<DLPLiteral> lits, int level, int weight)

Method Summary

Modifier and Type	Method and Description
java.lang.Object	clone()
java.util.Set<java.lang.String>	getFunctors()
java.util.Set<DLPLiteral>	getLiteralsWithName(java.lang.String name)
Signature	getSignature() Returns the signature of the language of this knowledge base.
java.lang.String	toString()

Methods inherited from class net.sf.tweety.commons.BeliefSet

add, addAll, clear, contains, containsAll, equals, hashCode, instantiateSet, isEmpty, iterator, remove, removeAll, retainAll, size, toArray, toArray

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection

parallelStream, removeIf, spliterator, stream

Methods inherited from interface java.lang.Iterable

forEach

Field Detail

level

public final int level

weight

public final int weight

Constructor Detail

AnswerSet

public AnswerSet()

AnswerSet

public AnswerSet(java.util.Collection<DLPLiteral> lits,
                 int level,
                 int weight)

AnswerSet

public AnswerSet(AnswerSet other)

Method Detail

getLiteralsWithName

public java.util.Set<DLPLiteral> getLiteralsWithName(java.lang.String name)

getFunctors

public java.util.Set<java.lang.String> getFunctors()

toString

public java.lang.String toString()

Specified by:

toString in interface BeliefBase

Overrides:

toString in class BeliefSet<DLPLiteral>

clone

public java.lang.Object clone()

Overrides:

clone in class java.lang.Object

getSignature

public Signature getSignature()

Description copied from interface: BeliefBase

Returns the signature of the language of this knowledge base.

Specified by:

getSignature in interface BeliefBase

Specified by:

getSignature in class BeliefSet<DLPLiteral>

Returns:

the signature of the language of this knowledge base.