public class ProbabilisticConditional extends Conditional implements ProbabilityAware
Modifier and Type | Field and Description |
---|---|
private Probability |
probability
The probability of this conditional.
|
Constructor and Description |
---|
ProbabilisticConditional(Conditional conditional,
Probability probability)
Creates a new probabilistic conditional using the given conditional
and probability.
|
ProbabilisticConditional(PropositionalFormula conclusion,
Probability probability)
Creates a new probabilistic conditional with a tautological premise
and given conclusion and probability.
|
ProbabilisticConditional(PropositionalFormula premise,
PropositionalFormula conclusion,
Probability probability)
Creates a new probabilistic conditional with the given premise,
conclusion, and probability.
|
Modifier and Type | Method and Description |
---|---|
ProbabilisticConditional |
complement() |
boolean |
equals(java.lang.Object obj) |
Probability |
getProbability()
Returns the probability of this conditional.
|
Probability |
getUniformProbability() |
int |
hashCode() |
boolean |
qualitativeEquals(ProbabilisticConditional other)
Checks whether this and the given probabilistic conditional are
qualitatively equivalent, i.e.
|
java.lang.String |
toString() |
addPremise, addPremises, clone, combineWithAnd, combineWithOr, getAtoms, getConclusion, getPredicateCls, getPredicates, getPremise, getSignature, isConstraint, isFact, isLiteral, setConclusion
private Probability probability
public ProbabilisticConditional(PropositionalFormula conclusion, Probability probability)
conclusion
- the conclusion (a formula) of this conditional.probability
- a probability.public ProbabilisticConditional(PropositionalFormula premise, PropositionalFormula conclusion, Probability probability)
premise
- the premise (a formula) of this conditional.conclusion
- the conclusion (a formula) of this conditional.probability
- a probability.public ProbabilisticConditional(Conditional conditional, Probability probability)
conditional
- a conditional.probability
- a probability.public boolean qualitativeEquals(ProbabilisticConditional other)
other
- some probabilistic conditional.public Probability getProbability()
public java.lang.String toString()
toString
in class Conditional
public ProbabilisticConditional complement()
complement
in class Conditional
public int hashCode()
hashCode
in interface SimpleLogicalFormula
hashCode
in class Conditional
public boolean equals(java.lang.Object obj)
equals
in interface SimpleLogicalFormula
equals
in class Conditional
public Probability getUniformProbability()
getUniformProbability
in interface ProbabilityAware