public class RpclBeliefSet extends BeliefSet<RelationalProbabilisticConditional>
Constructor and Description |
---|
RpclBeliefSet()
Creates a new (empty) conditional belief set.
|
RpclBeliefSet(java.util.Collection<? extends RelationalProbabilisticConditional> conditionals)
Creates a new conditional belief set with the given collection of
conditionals.
|
Modifier and Type | Method and Description |
---|---|
boolean |
areEquivalent(Constant a,
Constant b)
Checks whether the two given constants are equivalent wrt.
|
RpclBeliefSet |
exchange(Term<?> a,
Term<?> b)
Exchanges every occurence of "a" by "b" and vice versa.
|
java.util.Set<java.util.Set<Constant>> |
getEquivalenceClasses()
Determines the equivalence classes of this belief set, i.e.
|
java.util.Set<java.util.Set<Constant>> |
getEquivalenceClasses(FolSignature signature)
Determines the equivalence classes of this belief set wrt.
|
Signature |
getSignature()
Returns the signature of the language of this knowledge base.
|
add, addAll, clear, contains, containsAll, equals, hashCode, instantiateSet, isEmpty, iterator, remove, removeAll, retainAll, size, toArray, toArray, toString
public RpclBeliefSet()
public RpclBeliefSet(java.util.Collection<? extends RelationalProbabilisticConditional> conditionals)
conditionals
- a collection of conditionals.public java.util.Set<java.util.Set<Constant>> getEquivalenceClasses(FolSignature signature)
signature
- a fol signature (which must be a super signature of this set's signature)public java.util.Set<java.util.Set<Constant>> getEquivalenceClasses()
public boolean areEquivalent(Constant a, Constant b)
a
- a constantb
- a constantpublic RpclBeliefSet exchange(Term<?> a, Term<?> b)
a
- a term.b
- a term.public Signature getSignature()
BeliefBase
getSignature
in interface BeliefBase
getSignature
in class BeliefSet<RelationalProbabilisticConditional>