T
- The type of formulaspublic class AbaExtension<T extends Formula> extends AbstractInterpretation<ABATheory<T>,Assumption<T>> implements java.util.Collection<Assumption<T>>
Modifier and Type | Field and Description |
---|---|
private java.util.Collection<Assumption<T>> |
assumptions
the assumptions
|
Constructor and Description |
---|
AbaExtension()
Default constructor
|
AbaExtension(java.util.Collection<Assumption<T>> assumptions)
Creates a new extension with the given assumptions.
|
Modifier and Type | Method and Description |
---|---|
boolean |
add(Assumption<T> e) |
boolean |
addAll(java.util.Collection<? extends Assumption<T>> c) |
void |
clear() |
boolean |
contains(java.lang.Object o) |
boolean |
containsAll(java.util.Collection<?> c) |
boolean |
equals(java.lang.Object obj) |
int |
hashCode() |
boolean |
isEmpty() |
java.util.Iterator<Assumption<T>> |
iterator() |
boolean |
remove(java.lang.Object o) |
boolean |
removeAll(java.util.Collection<?> c) |
boolean |
retainAll(java.util.Collection<?> c) |
boolean |
satisfies(ABATheory<T> beliefBase)
Checks whether this interpretation satisfies the given knowledge base.
|
boolean |
satisfies(Assumption<T> formula)
Checks whether this interpretation satisfies the given formula.
|
int |
size() |
java.lang.Object[] |
toArray() |
<R> R[] |
toArray(R[] a) |
java.lang.String |
toString() |
satisfies
private java.util.Collection<Assumption<T extends Formula>> assumptions
public AbaExtension()
public AbaExtension(java.util.Collection<Assumption<T>> assumptions)
assumptions
- public boolean satisfies(Assumption<T> formula) throws java.lang.IllegalArgumentException
Interpretation
satisfies
in interface Interpretation<ABATheory<T extends Formula>,Assumption<T extends Formula>>
formula
- a formula .java.lang.IllegalArgumentException
- if the formula does not correspond
to the expected language.public boolean satisfies(ABATheory<T> beliefBase) throws java.lang.IllegalArgumentException
Interpretation
satisfies
in interface Interpretation<ABATheory<T extends Formula>,Assumption<T extends Formula>>
beliefBase
- a knowledge base.java.lang.IllegalArgumentException
- IllegalArgumentException if the knowledgebase does not correspond
to the expected language.public int size()
size
in interface java.util.Collection<Assumption<T extends Formula>>
public boolean isEmpty()
isEmpty
in interface java.util.Collection<Assumption<T extends Formula>>
public boolean contains(java.lang.Object o)
contains
in interface java.util.Collection<Assumption<T extends Formula>>
public java.util.Iterator<Assumption<T>> iterator()
iterator
in interface java.lang.Iterable<Assumption<T extends Formula>>
iterator
in interface java.util.Collection<Assumption<T extends Formula>>
public java.lang.Object[] toArray()
toArray
in interface java.util.Collection<Assumption<T extends Formula>>
public <R> R[] toArray(R[] a)
toArray
in interface java.util.Collection<Assumption<T extends Formula>>
public boolean add(Assumption<T> e)
add
in interface java.util.Collection<Assumption<T extends Formula>>
public boolean remove(java.lang.Object o)
remove
in interface java.util.Collection<Assumption<T extends Formula>>
public boolean containsAll(java.util.Collection<?> c)
containsAll
in interface java.util.Collection<Assumption<T extends Formula>>
public boolean addAll(java.util.Collection<? extends Assumption<T>> c)
addAll
in interface java.util.Collection<Assumption<T extends Formula>>
public boolean removeAll(java.util.Collection<?> c)
removeAll
in interface java.util.Collection<Assumption<T extends Formula>>
public boolean retainAll(java.util.Collection<?> c)
retainAll
in interface java.util.Collection<Assumption<T extends Formula>>
public void clear()
clear
in interface java.util.Collection<Assumption<T extends Formula>>
public int hashCode()
hashCode
in interface java.util.Collection<Assumption<T extends Formula>>
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in interface java.util.Collection<Assumption<T extends Formula>>
equals
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object