public class NLPNot
extends net.sf.tweety.logics.fol.syntax.FolFormula
| Constructor and Description |
|---|
NLPNot(net.sf.tweety.logics.fol.syntax.FolFormula inner)
Ctor: Creates a new default not for nested logic programs by using the
given FOL formula as inner formula.
|
| Modifier and Type | Method and Description |
|---|---|
NLPNot |
clone() |
NLPNot |
collapseAssociativeFormulas() |
boolean |
containsQuantifier() |
boolean |
equals(Object other) |
Set<net.sf.tweety.logics.fol.syntax.FOLAtom> |
getAtoms() |
Set<net.sf.tweety.logics.commons.syntax.Functor> |
getFunctors() |
Set<? extends net.sf.tweety.logics.commons.syntax.Predicate> |
getPredicates() |
Set<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> |
getTerms() |
<C extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> |
getTerms(Class<C> cls) |
Set<net.sf.tweety.logics.commons.syntax.Variable> |
getUnboundVariables() |
int |
hashCode() |
boolean |
isClosed() |
boolean |
isClosed(Set<net.sf.tweety.logics.commons.syntax.Variable> boundVariables) |
boolean |
isDnf() |
boolean |
isLiteral() |
boolean |
isWellBound() |
boolean |
isWellBound(Set<net.sf.tweety.logics.commons.syntax.Variable> boundVariables) |
NLPNot |
substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v,
net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t) |
net.sf.tweety.logics.fol.syntax.FolFormula |
toNnf() |
String |
toString() |
combineWithAnd, combineWithOr, complement, getQuantifierVariables, getSignature, getUniformProbability, toDnfpublic NLPNot(net.sf.tweety.logics.fol.syntax.FolFormula inner)
inner - The FOL formula used as inner formula.public Set<? extends net.sf.tweety.logics.commons.syntax.Predicate> getPredicates()
public boolean isLiteral()
public Set<net.sf.tweety.logics.commons.syntax.Variable> getUnboundVariables()
public boolean containsQuantifier()
public boolean isWellBound()
public boolean isWellBound(Set<net.sf.tweety.logics.commons.syntax.Variable> boundVariables)
public boolean isClosed()
public boolean isClosed(Set<net.sf.tweety.logics.commons.syntax.Variable> boundVariables)
public Set<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> getTerms()
public <C extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> Set<C> getTerms(Class<C> cls)
public net.sf.tweety.logics.fol.syntax.FolFormula toNnf()
toNnf in class net.sf.tweety.logics.fol.syntax.FolFormulapublic NLPNot collapseAssociativeFormulas()
collapseAssociativeFormulas in class net.sf.tweety.logics.fol.syntax.FolFormulapublic boolean isDnf()
isDnf in class net.sf.tweety.logics.fol.syntax.FolFormulapublic NLPNot 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.fol.syntax.FolFormulaIllegalArgumentExceptionpublic NLPNot clone()
clone in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormulaclone in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormulaclone in class net.sf.tweety.logics.fol.syntax.FolFormulapublic Set<net.sf.tweety.logics.fol.syntax.FOLAtom> getAtoms()
getAtoms in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormulagetAtoms in class net.sf.tweety.logics.commons.syntax.RelationalFormulapublic Set<net.sf.tweety.logics.commons.syntax.Functor> getFunctors()
getFunctors in class net.sf.tweety.logics.commons.syntax.RelationalFormulapublic String toString()
toString in class net.sf.tweety.logics.commons.syntax.RelationalFormulapublic boolean equals(Object other)
Copyright © 2018. All rights reserved.