Package net.sf.tweety.logics.fol.syntax

Class Conjunction

java.lang.Object

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

net.sf.tweety.logics.fol.syntax.FolFormula

net.sf.tweety.logics.fol.syntax.AssociativeFolFormula

net.sf.tweety.logics.fol.syntax.Conjunction

All Implemented Interfaces:

Iterable<net.sf.tweety.logics.commons.syntax.RelationalFormula>, Collection<net.sf.tweety.logics.commons.syntax.RelationalFormula>, List<net.sf.tweety.logics.commons.syntax.RelationalFormula>, net.sf.tweety.commons.Formula, net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge, net.sf.tweety.logics.commons.syntax.interfaces.AssociativeFormula<net.sf.tweety.logics.commons.syntax.RelationalFormula>, 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 class Conjunction
extends AssociativeFolFormula

The classical conjunction of first-order logic.

Author:

Matthias Thimm

Field Summary

Fields inherited from class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula

support

Constructor Summary

Constructors

Constructor	Description
Conjunction()	Creates a new (empty) conjunction.
Conjunction(Collection<? extends net.sf.tweety.logics.commons.syntax.RelationalFormula> formulas)	Creates a new conjunction with the given inner formulas.
Conjunction(net.sf.tweety.logics.commons.syntax.RelationalFormula first, net.sf.tweety.logics.commons.syntax.RelationalFormula second)	Creates a new conjunction with the two given formulae

Method Summary

Modifier and Type	Method	Description
Conjunction	clone()
net.sf.tweety.logics.commons.syntax.RelationalFormula	collapseAssociativeFormulas()	This method collapses all associative operations appearing in this term, e.g.
Conjunction	createEmptyFormula()
String	getEmptySymbol()
String	getOperatorSymbol()
boolean	isDnf()	Checks whether this formula is in disjunctive normal form.
Conjunction	substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)
FolFormula	toNnf()	Makes the negation normal form of this formula.

Methods inherited from class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula

add, add, addAll, addAll, clear, contains, containsAll, containsQuantifier, createEmptySignature, equals, get, getAtoms, getFormulas, getFormulas, getFunctors, getPredicates, getQuantifierVariables, getTerms, getTerms, getUnboundVariables, hashCode, indexOf, isClosed, isClosed, isEmpty, isLiteral, isWellBound, isWellBound, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, retainAll, set, size, subList, substitute, toArray, toArray, toString

Methods inherited from class net.sf.tweety.logics.fol.syntax.FolFormula

combineWithAnd, combineWithOr, complement, getSignature, getUniformProbability, toDnf

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

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

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream, toArray

Methods inherited from interface net.sf.tweety.commons.Formula

getSignature

Methods inherited from interface java.lang.Iterable

forEach

Methods inherited from interface java.util.List

replaceAll, sort, spliterator

Methods inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

getPredicateCls

Constructor Detail

Conjunction

public Conjunction(Collection<? extends net.sf.tweety.logics.commons.syntax.RelationalFormula> formulas)

Creates a new conjunction with the given inner formulas.

Parameters:

formulas - a collection of formulas.

Conjunction

public Conjunction()

Creates a new (empty) conjunction.

Conjunction

public Conjunction(net.sf.tweety.logics.commons.syntax.RelationalFormula first,
                   net.sf.tweety.logics.commons.syntax.RelationalFormula second)

Creates a new conjunction with the two given formulae

Parameters:

first - a relational formula.

second - a relational formula.

Method Detail

isDnf

public boolean isDnf()

Description copied from class: FolFormula

Checks whether this formula is in disjunctive normal form.

Specified by:

isDnf in class FolFormula

Returns:

"true" iff this formula is in disjunctive normal form.

substitute

public Conjunction 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

Overrides:

substitute in class AssociativeFolFormula

Throws:

IllegalArgumentException

toNnf

public FolFormula toNnf()

Description copied from class: FolFormula

Makes the negation normal form of this formula.

Specified by:

toNnf in class FolFormula

Returns:

the NNF of this formula

collapseAssociativeFormulas

public net.sf.tweety.logics.commons.syntax.RelationalFormula collapseAssociativeFormulas()

Description copied from class: FolFormula

This method collapses all associative operations appearing in this term, e.g. every a||(b||c) becomes a||b||c.

Specified by:

collapseAssociativeFormulas in class FolFormula

Returns:

the collapsed formula.

clone

public Conjunction 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 FolFormula

createEmptyFormula

public Conjunction createEmptyFormula()

getOperatorSymbol

public String getOperatorSymbol()

getEmptySymbol

public String getEmptySymbol()