astra.core.EventBeliefManager

public class EventBeliefManager
extends Object
implements Queryable

Field Summary

Fields inherited from interface astra.reasoner.Queryable
EMPTY_LIST
Constructor Summary

Constructors

Constructor Description

EventBeliefManager(Agent agent)

Method Summary

Modifier and Type	Method	Description
`void`	`addBelief(Predicate belief)`
`void`	`addMatchingFormulae(Queue<Formula> queue, Formula formula)`
`void`	`addScopedBelief(String scope, Predicate belief)`
`List<Formula>`	`beliefs()`
`void`	`dropBelief(Predicate belief)`
`void`	`dropScopedBelief(String scope, Predicate belief)`
`void`	`dumpBeliefs()`
`boolean`	`hasUpdates()`
`Iterator<Formula>`	`iterator(Formula target)`
`int`	`size()`
`BeliefStore`	`store()`
`void`	`update()`

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- EventBeliefManager
  
  public EventBeliefManager(Agent agent)
Method Details
- addBelief
  
  public void addBelief(Predicate belief)
- dropBelief
  
  public void dropBelief(Predicate belief)
- update
  
  public void update()
- size
  
  public int size()
- beliefs
  
  public List<Formula> beliefs()
- dumpBeliefs
  
  public void dumpBeliefs()
- hasUpdates
  
  public boolean hasUpdates()
- addScopedBelief
  
  public void addScopedBelief(String scope, Predicate belief)
- dropScopedBelief
  
  public void dropScopedBelief(String scope, Predicate belief)
- store
  
  public BeliefStore store()
- addMatchingFormulae
  
  public void addMatchingFormulae(Queue<Formula> queue, Formula formula)
  
  Specified by:
  
  addMatchingFormulae in interface Queryable
- iterator
  
  public Iterator<Formula> iterator(Formula target)
  
  Specified by:
  
  iterator in interface Queryable

Class EventBeliefManager