final class DefaultBeliefBase.BelEntry
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private java.util.Deque<Literal> |
list |
private java.util.Map<StructureWrapperForLiteral,Literal> |
map |
Constructor and Description |
---|
BelEntry() |
private final java.util.Deque<Literal> list
private final java.util.Map<StructureWrapperForLiteral,Literal> map
public void add(Literal l, boolean addInEnd)
public void remove(Literal l)
public int size()
public boolean isEmpty()
protected java.lang.Object clone()
clone
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object