Package org.tweetyproject.logics.fol.syntax

Class ExclusiveDisjunction

java.lang.Object

org.tweetyproject.logics.commons.syntax.RelationalFormula

org.tweetyproject.logics.fol.syntax.FolFormula

org.tweetyproject.logics.fol.syntax.AssociativeFolFormula

org.tweetyproject.logics.fol.syntax.ExclusiveDisjunction

All Implemented Interfaces:

java.lang.Iterable<RelationalFormula>, java.util.Collection<RelationalFormula>, java.util.List<RelationalFormula>, Formula, AssociativeFormulaSupport.AssociativeSupportBridge, AssociativeFormula<RelationalFormula>, ClassicalFormula, ComplexLogicalFormula, Conjunctable, Disjunctable, Invertable, LogicStructure, ProbabilityAware, QuantifiedFormula, SimpleLogicalFormula

public class ExclusiveDisjunction
extends AssociativeFolFormula

The exclusive disjunction (XOR) in first-order logic.

Author:

Anna Gessler

Constructor Summary

Constructors

Constructor	Description
ExclusiveDisjunction()	Creates a new (empty) exclusive disjunction.
ExclusiveDisjunction(java.util.Collection<? extends RelationalFormula> formulas)	Creates a new exclusive disjunction with the given inner formulas.
ExclusiveDisjunction(RelationalFormula first, RelationalFormula second)	Creates a new exclusive disjunction with the two given formulae

Method Summary

Modifier and Type	Method	Description
ExclusiveDisjunction	clone()	Creates a deep copy of this formula
RelationalFormula	collapseAssociativeFormulas()	This method collapses all associative operations appearing in this term, e.g.
ExclusiveDisjunction	createEmptyFormula()
java.lang.String	getEmptySymbol()
java.lang.String	getOperatorSymbol()
boolean	isDnf()	Checks whether this formula is in disjunctive normal form.
FolFormula	toNnf()	Makes the negation normal form of this formula.

Methods inherited from class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula

add, 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, substitute, toArray, toArray, toString

Methods inherited from class org.tweetyproject.logics.fol.syntax.FolFormula

combineWithAnd, combineWithOr, complement, getSignature, getUniformProbability, toDnf

Methods inherited from class org.tweetyproject.logics.commons.syntax.RelationalFormula

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

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream, toArray

Methods inherited from interface org.tweetyproject.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 org.tweetyproject.logics.commons.syntax.interfaces.SimpleLogicalFormula

getPredicateCls

Constructor Detail

ExclusiveDisjunction

public ExclusiveDisjunction(java.util.Collection<? extends RelationalFormula> formulas)

Creates a new exclusive disjunction with the given inner formulas.

Parameters:

formulas - a collection of formulas.

ExclusiveDisjunction

public ExclusiveDisjunction()

Creates a new (empty) exclusive disjunction.

ExclusiveDisjunction

public ExclusiveDisjunction(RelationalFormula first,
                            RelationalFormula second)

Creates a new exclusive disjunction 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.

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 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 ExclusiveDisjunction clone()

Description copied from interface: SimpleLogicalFormula

Creates a deep copy of this formula

Specified by:

clone in interface ComplexLogicalFormula

Specified by:

clone in interface SimpleLogicalFormula

Specified by:

clone in class FolFormula

Returns:

the cloned formula

createEmptyFormula

public ExclusiveDisjunction createEmptyFormula()

Returns:

an empty version of the AssociativeFormula

getOperatorSymbol

public java.lang.String getOperatorSymbol()

Returns:

A String representing the operator which connects two items of the associative formula.

getEmptySymbol

public java.lang.String getEmptySymbol()

Returns:

A String representing an empty version of the Associative Formula implementation