Package net.sf.tweety.logics.dl.syntax
Class Complement
- java.lang.Object
-
- net.sf.tweety.logics.dl.syntax.ComplexConcept
-
- net.sf.tweety.logics.dl.syntax.Complement
-
- All Implemented Interfaces:
Formula
,ClassicalFormula
,Conjunctable
,Disjunctable
,Invertable
,ProbabilityAware
,SimpleLogicalFormula
public class Complement extends ComplexConcept
This class models the complement (negation) in description logics.- Author:
- Anna Gessler
-
-
Constructor Summary
Constructors Constructor Description Complement(ComplexConcept formula)
Create a new complement with the given DLFormula.
-
Method Summary
Modifier and Type Method Description ComplexConcept
clone()
Creates a deep copy of this formulaComplexConcept
collapseAssociativeFormulas()
This method collapses all associative operations appearing in this term, e.g.boolean
equals(java.lang.Object obj)
ComplexConcept
getFormula()
java.util.Set<Predicate>
getPredicates()
Processes the set of all predicates which appear in this formulaDlSignature
getSignature()
Returns the signature of the language of this formula.int
hashCode()
boolean
isLiteral()
java.lang.String
toString()
-
Methods inherited from class net.sf.tweety.logics.dl.syntax.ComplexConcept
combineWithAnd, combineWithOr, complement, getAtoms, getPredicateCls, getUniformProbability
-
-
-
-
Constructor Detail
-
Complement
public Complement(ComplexConcept formula)
Create a new complement with the given DLFormula.- Parameters:
formula
- some concept
-
-
Method Detail
-
getPredicates
public java.util.Set<Predicate> getPredicates()
Description copied from interface:SimpleLogicalFormula
Processes the set of all predicates which appear in this formula- Specified by:
getPredicates
in interfaceSimpleLogicalFormula
- Specified by:
getPredicates
in classComplexConcept
- Returns:
- all predicates that appear in this formula
-
clone
public ComplexConcept clone()
Description copied from class:ComplexConcept
Creates a deep copy of this formula- Specified by:
clone
in interfaceSimpleLogicalFormula
- Specified by:
clone
in classComplexConcept
- Returns:
- the cloned formula
-
collapseAssociativeFormulas
public ComplexConcept collapseAssociativeFormulas()
Description copied from class:ComplexConcept
This method collapses all associative operations appearing in this term, e.g. every a||(b||c) becomes a||b||c.- Specified by:
collapseAssociativeFormulas
in classComplexConcept
- Returns:
- the collapsed formula.
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
hashCode
public int hashCode()
- Specified by:
hashCode
in interfaceSimpleLogicalFormula
- Specified by:
hashCode
in classComplexConcept
-
isLiteral
public boolean isLiteral()
- Returns:
- true if the formula represents a literal in the language or false otherwise
-
getFormula
public ComplexConcept getFormula()
-
getSignature
public DlSignature getSignature()
Description copied from interface:Formula
Returns the signature of the language of this formula.- Specified by:
getSignature
in interfaceFormula
- Specified by:
getSignature
in classComplexConcept
- Returns:
- the signature of the language of this formula.
-
equals
public boolean equals(java.lang.Object obj)
- Specified by:
equals
in interfaceSimpleLogicalFormula
- Specified by:
equals
in classComplexConcept
-
-