Class Entity
java.lang.Object
org.tweetyproject.arg.dung.learning.syntax.Entity
Class representing an entity with an underlying hidden argumentation framework. An agent can ask the entity for labelings
- Author:
 - Lars Bengel
 
- 
Constructor Summary
ConstructorsConstructorDescriptionEntity(DungTheory theory) initialize the entity with the given AFEntity(DungTheory theory, List<Input> inputs)  - 
Method Summary
Modifier and TypeMethodDescriptiongetAllLabelings(Semantics sem) shortcut for getting all labelings wrt a semanticsget the set of arguments of the hidden AFreturn the hidden AF should not be used normallygetLabeling(Semantics sem) Ask for a random labeling w.r.t.booleanverifyFramework(DungTheory theory, Collection<Input> inputs) verify if the given theory is equivalent to the hidden framework w.r.t. 
- 
Constructor Details
- 
Entity
initialize the entity with the given AF- Parameters:
 theory- some argumentation framework
 - 
Entity
- Parameters:
 theory- a DUng theoryinputs- inputs
 
 - 
 - 
Method Details
- 
getLabeling
Ask for a random labeling w.r.t. the given semantics The labeling is also removed from the internal storage so it can ot be given out again- Parameters:
 sem- a semantics- Returns:
 - a labeling
 
 - 
getAnyLabeling
- Returns:
 - any labeling
 
 - 
getAllLabelings
shortcut for getting all labelings wrt a semantics- Parameters:
 sem- a semantics- Returns:
 - all labelings of the hidden AF wrt. the given semantics
 
 - 
verifyFramework
verify if the given theory is equivalent to the hidden framework w.r.t. the given labelings very inefficiently implemented right now- Parameters:
 theory- a dung theoryinputs- a set of labelings- Returns:
 - "true" if both frameworks are equivalent
 
 - 
getArguments
get the set of arguments of the hidden AF- Returns:
 - the set of arguments
 
 - 
getHiddenAF
return the hidden AF should not be used normally- Returns:
 - the hidden AF
 
 
 -