Modifier and Type | Method and Description |
---|---|
PropositionalSignature |
StructuredArgumentationFramework.getSignature() |
Modifier and Type | Method and Description |
---|---|
PropositionalSignature |
BasicArgument.getSignature() |
Modifier and Type | Method and Description |
---|---|
PropositionalSignature |
ClBeliefSet.getSignature() |
Modifier and Type | Field and Description |
---|---|
private PropositionalSignature |
RankingFunction.signature
The signature of the language this ranking function
is defined on.
|
private PropositionalSignature |
ConditionalStructure.signature
the signature of the conditional structure
|
Modifier and Type | Method and Description |
---|---|
PropositionalSignature |
RankingFunction.getSignature()
Returns the signature of the first-order language this ranking function
is defined on.
|
Constructor and Description |
---|
RankingFunction(PropositionalSignature signature)
Creates a new ranking function mapping each
given interpretation to zero.
|
Modifier and Type | Field and Description |
---|---|
private PropositionalSignature |
HsInconsistencyMeasurementProcess.sig
The signature of the formulas.
|
private PropositionalSignature |
ContensionInconsistencyMeasurementProcess.sig
The signature of the formulas.
|
Modifier and Type | Field and Description |
---|---|
private PropositionalSignature |
PossibleWorldIterator.sig
The signature used for creating possible worlds.
|
Modifier and Type | Method and Description |
---|---|
PropositionalFormula |
PossibleWorld.getCompleteConjunction(PropositionalSignature sig)
Returns the complete conjunction representing this possible world wrt.
|
Constructor and Description |
---|
PossibleWorldIterator(PropositionalSignature sig)
Creates new iterator for the given signature.
|
Modifier and Type | Method and Description |
---|---|
PropositionalSignature |
PropositionalFormula.getSignature() |
PropositionalSignature |
Proposition.getSignature() |
PropositionalSignature |
Negation.getSignature() |
PropositionalSignature |
AssociativePropositionalFormula.getSignature() |
Modifier and Type | Method and Description |
---|---|
void |
PropositionalSignature.add(PropositionalSignature other)
Adds the elements of another signature to the current one.
|
java.util.Set<PossibleWorld> |
Tautology.getModels(PropositionalSignature sig) |
abstract java.util.Set<PossibleWorld> |
PropositionalFormula.getModels(PropositionalSignature sig)
Returns the set of models of this formula wrt.
|
java.util.Set<PossibleWorld> |
Proposition.getModels(PropositionalSignature sig) |
java.util.Set<PossibleWorld> |
Negation.getModels(PropositionalSignature sig) |
java.util.Set<PossibleWorld> |
Disjunction.getModels(PropositionalSignature sig) |
java.util.Set<PossibleWorld> |
Contradiction.getModels(PropositionalSignature sig) |
java.util.Set<PossibleWorld> |
Conjunction.getModels(PropositionalSignature sig) |
Modifier and Type | Method and Description |
---|---|
private java.util.List<PropositionalFormula> |
HsSampler.getCanonicalFormulas(int num,
PropositionalSignature sig)
For a signature {a1,...,an} creates num different canonical and mutually exclusive
formulas of the form a1a2a3, a1a2-a3, a1-a2a3, etc.
|
private Pair<java.util.Collection<PropositionalFormula>,java.lang.Integer> |
CanonicalEnumerator.parseAssociativeFormula(java.util.BitSet s,
int idx,
int numOfTerms,
PropositionalSignature sig)
Parses an associate formula from the given bitset starting at index idx, with the given number
of terms and the given signature
|
private Pair<PropositionalFormula,java.lang.Integer> |
CanonicalEnumerator.parseFormula(java.util.BitSet s,
int idx,
PropositionalSignature sig)
Reads the next formula of the given bitset, starting at the given index.
|
private Pair<PropositionalFormula,java.lang.Integer> |
CanonicalEnumerator.parseProposition(java.util.BitSet s,
int idx,
PropositionalSignature sig)
Parses a proposition in bitset s starting from idx.
|
Constructor and Description |
---|
ContensionSampler(PropositionalSignature signature,
int incvalue)
Creates a new sample for the given signature
which generates propositional belief sets with the
given inconsistency value (wrt.
|
HsSampler(PropositionalSignature signature,
int incvalue)
Creates a new sample for the given signature
which generates propositional belief sets with the
given inconsistency value (wrt.
|
MiSampler(PropositionalSignature signature,
int incvalue)
Creates a new sample for the given signature
which generates propositional belief sets with the
given inconsistency value (wrt.
|