Package net.sf.tweety.arg.delp.syntax

Class DelpFact

java.lang.Object

net.sf.tweety.logics.commons.syntax.RelationalFormula

net.sf.tweety.arg.delp.syntax.DelpRule

net.sf.tweety.arg.delp.syntax.DelpFact

All Implemented Interfaces:

net.sf.tweety.commons.Formula, net.sf.tweety.commons.util.rules.Rule<net.sf.tweety.logics.fol.syntax.FolFormula,net.sf.tweety.logics.fol.syntax.FolFormula>, net.sf.tweety.logics.commons.syntax.interfaces.ClassicalFormula, net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula, net.sf.tweety.logics.commons.syntax.interfaces.Conjunctable, net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable, net.sf.tweety.logics.commons.syntax.interfaces.Invertable, net.sf.tweety.logics.commons.syntax.interfaces.LogicStructure, net.sf.tweety.logics.commons.syntax.interfaces.ProbabilityAware, net.sf.tweety.logics.commons.syntax.interfaces.QuantifiedFormula, net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

public final class DelpFact
extends DelpRule

This class implements a fact in defeasible logic programming which encapsulates a literal.

Author:

Matthias Thimm

Field Summary

Fields inherited from class net.sf.tweety.arg.delp.syntax.DelpRule

body, head

Constructor Summary

Constructors

Constructor	Description
DelpFact(net.sf.tweety.logics.fol.syntax.FolFormula literal)	Default constructor; initializes this fact with the given literal

Method Summary

Modifier and Type	Method	Description
DelpFact	clone()
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)

Methods inherited from class net.sf.tweety.arg.delp.syntax.DelpRule

addPremise, addPremises, combineWithAnd, combineWithOr, complement, containsQuantifier, equals, getAtoms, getConclusion, getFunctors, getPredicates, getPremise, getQuantifierVariables, getSignature, getTerms, getTerms, getUnboundVariables, getUniformProbability, hashCode, isApplicable, isClosed, isClosed, isConstraint, isFact, isGround, isLiteral, isWellBound, isWellBound, setConclusion, toString

Methods inherited from class net.sf.tweety.logics.commons.syntax.RelationalFormula

allGroundInstances, allSubstitutions, containsTermsOfType, exchange, getFormula, getPredicateCls, getSatisfactionRatio, isWellFormed, substitute

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

DelpFact

public DelpFact(net.sf.tweety.logics.fol.syntax.FolFormula literal)

Default constructor; initializes this fact with the given literal

Parameters:

literal - a literal

Method Detail

substitute

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

Specified by:

substitute in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula

Specified by:

substitute in class DelpRule

Throws:

IllegalArgumentException

clone

public DelpFact clone()

Specified by:

clone in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula

Specified by:

clone in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Specified by:

clone in class net.sf.tweety.logics.commons.syntax.RelationalFormula