| Package | Description |
|---|---|
| net.sf.tweety.commons | |
| net.sf.tweety.commons.util.rules |
| Modifier and Type | Class and Description |
|---|---|
class |
SetSignature<T>
This class models a signature as a set of formulas.
|
| Modifier and Type | Method and Description |
|---|---|
Signature |
BeliefBase.getSignature()
Returns the signature of the language of this knowledge base.
|
Signature |
FormulaSampler.getSignature()
Returns the signature of this sampler.
|
abstract Signature |
BeliefSet.getSignature() |
Signature |
BeliefBaseSampler.getSignature()
Returns the signature of this sampler.
|
Signature |
Formula.getSignature()
Returns the signature of the language of this formula.
|
Signature |
Language.getSignature()
Returns the signature of this language.
|
| Modifier and Type | Method and Description |
|---|---|
abstract void |
Signature.addSignature(Signature other)
Adds the elements of the given signature to this signature.
|
void |
SetSignature.addSignature(Signature other) |
abstract boolean |
Signature.isOverlappingSignature(Signature other)
Checks whether this signature has common elements with the
given signature, i.e.
|
boolean |
SetSignature.isOverlappingSignature(Signature other) |
abstract boolean |
Signature.isSubSignature(Signature other)
Checks whether this signature is a sub-signature of the
given signature, i.e.
|
boolean |
SetSignature.isSubSignature(Signature other) |
InterpretationIterator<T> |
InterpretationIterator.reset(Signature sig)
Initializes a new reseted iterator for the given signature.
|
| Constructor and Description |
|---|
BeliefBaseSampler(Signature signature)
Creates a new belief base sampler for the given signature.
|
FormulaSampler(Signature signature)
Creates a new formula sampler for the given
signature.
|
Language(Signature signature)
Creates a new language on the given signature.
|
| Modifier and Type | Method and Description |
|---|---|
Signature |
Rule.getSignature() |
Copyright © 2018. All rights reserved.