public class RelationalProbabilisticConditional
extends net.sf.tweety.logics.rcl.syntax.RelationalConditional
| Constructor and Description |
|---|
RelationalProbabilisticConditional(net.sf.tweety.logics.fol.syntax.FolFormula premise,
net.sf.tweety.logics.fol.syntax.FolFormula conclusion,
net.sf.tweety.math.probability.Probability probability)
Creates a new conditional with the given premise, conclusion and probability.
|
RelationalProbabilisticConditional(net.sf.tweety.logics.fol.syntax.FolFormula conclusion,
net.sf.tweety.math.probability.Probability probability)
Creates a new conditional with the given conclusion and probability and
a tautological premise.
|
RelationalProbabilisticConditional(net.sf.tweety.logics.rcl.syntax.RelationalConditional conditional,
net.sf.tweety.math.probability.Probability probability)
Creates a new relational probabilistic conditional with the given conditional and probability
|
| Modifier and Type | Method and Description |
|---|---|
RelationalProbabilisticConditional |
complement() |
boolean |
equals(Object obj) |
net.sf.tweety.math.probability.Probability |
getProbability()
Returns the probability of this conditional.
|
int |
hashCode() |
net.sf.tweety.logics.commons.syntax.RelationalFormula |
substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v,
net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t) |
String |
toString() |
addPremise, addPremises, clone, combineWithAnd, combineWithOr, containsQuantifier, getAtoms, getConclusion, getFunctors, getPredicates, getPremise, getQuantifierVariables, getSignature, getTerms, getTerms, getUnboundVariables, getUniformProbability, isClosed, isClosed, isConstraint, isFact, isLiteral, isWellBound, isWellBound, setConclusionpublic RelationalProbabilisticConditional(net.sf.tweety.logics.fol.syntax.FolFormula premise,
net.sf.tweety.logics.fol.syntax.FolFormula conclusion,
net.sf.tweety.math.probability.Probability probability)
premise - a fol formula.conclusion - a fol formula.probability - a probability.public RelationalProbabilisticConditional(net.sf.tweety.logics.fol.syntax.FolFormula conclusion,
net.sf.tweety.math.probability.Probability probability)
conclusion - a fol formula.probability - a probability.public RelationalProbabilisticConditional(net.sf.tweety.logics.rcl.syntax.RelationalConditional conditional,
net.sf.tweety.math.probability.Probability probability)
conditional - a relational conditional.probability - a probability.public net.sf.tweety.math.probability.Probability getProbability()
public net.sf.tweety.logics.commons.syntax.RelationalFormula substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v,
net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)
throws IllegalArgumentException
substitute in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormulasubstitute in class net.sf.tweety.logics.rcl.syntax.RelationalConditionalIllegalArgumentExceptionpublic String toString()
toString in class net.sf.tweety.logics.rcl.syntax.RelationalConditionalpublic RelationalProbabilisticConditional complement()
complement in interface net.sf.tweety.logics.commons.syntax.interfaces.Invertablecomplement in class net.sf.tweety.logics.rcl.syntax.RelationalConditionalpublic int hashCode()
hashCode in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormulahashCode in class net.sf.tweety.logics.rcl.syntax.RelationalConditionalpublic boolean equals(Object obj)
equals in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormulaequals in class net.sf.tweety.logics.rcl.syntax.RelationalConditionalCopyright © 2018. All rights reserved.