public class ProbabilisticConditional
extends net.sf.tweety.logics.cl.syntax.Conditional
implements net.sf.tweety.logics.commons.syntax.interfaces.ProbabilityAware
| Constructor and Description |
|---|
ProbabilisticConditional(net.sf.tweety.logics.cl.syntax.Conditional conditional,
net.sf.tweety.math.probability.Probability probability)
Creates a new probabilistic conditional using the given conditional
and probability.
|
ProbabilisticConditional(net.sf.tweety.logics.pl.syntax.PropositionalFormula conclusion,
net.sf.tweety.math.probability.Probability probability)
Creates a new probabilistic conditional with a tautological premise
and given conclusion and probability.
|
ProbabilisticConditional(net.sf.tweety.logics.pl.syntax.PropositionalFormula premise,
net.sf.tweety.logics.pl.syntax.PropositionalFormula conclusion,
net.sf.tweety.math.probability.Probability probability)
Creates a new probabilistic conditional with the given premise,
conclusion, and probability.
|
| Modifier and Type | Method and Description |
|---|---|
ProbabilisticConditional |
complement() |
boolean |
equals(Object obj) |
net.sf.tweety.math.probability.Probability |
getProbability()
Returns the probability of this conditional.
|
net.sf.tweety.math.probability.Probability |
getUniformProbability() |
int |
hashCode() |
boolean |
qualitativeEquals(ProbabilisticConditional other)
Checks whether this and the given probabilistic conditional are
qualitatively equivalent, i.e.
|
String |
toString() |
public ProbabilisticConditional(net.sf.tweety.logics.pl.syntax.PropositionalFormula conclusion,
net.sf.tweety.math.probability.Probability probability)
conclusion - the conclusion (a formula) of this conditional.probability - a probability.public ProbabilisticConditional(net.sf.tweety.logics.pl.syntax.PropositionalFormula premise,
net.sf.tweety.logics.pl.syntax.PropositionalFormula conclusion,
net.sf.tweety.math.probability.Probability probability)
premise - the premise (a formula) of this conditional.conclusion - the conclusion (a formula) of this conditional.probability - a probability.public ProbabilisticConditional(net.sf.tweety.logics.cl.syntax.Conditional conditional,
net.sf.tweety.math.probability.Probability probability)
conditional - a conditional.probability - a probability.public boolean qualitativeEquals(ProbabilisticConditional other)
other - some probabilistic conditional.public net.sf.tweety.math.probability.Probability getProbability()
public String toString()
toString in class net.sf.tweety.logics.cl.syntax.Conditionalpublic ProbabilisticConditional complement()
complement in class net.sf.tweety.logics.cl.syntax.Conditionalpublic int hashCode()
hashCode in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormulahashCode in class net.sf.tweety.logics.cl.syntax.Conditionalpublic boolean equals(Object obj)
equals in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormulaequals in class net.sf.tweety.logics.cl.syntax.Conditionalpublic net.sf.tweety.math.probability.Probability getUniformProbability()
getUniformProbability in interface net.sf.tweety.logics.commons.syntax.interfaces.ProbabilityAwareCopyright © 2018. All rights reserved.