| Package | Description |
|---|---|
| net.sf.tweety.logics.commons.syntax | |
| net.sf.tweety.logics.commons.syntax.interfaces |
| Modifier and Type | Class and Description |
|---|---|
class |
Concept
This class models concepts used in description logics
|
class |
Functor
A functor for logic language, i.e.
|
class |
Predicate
A general predicate which contains an identifier that describes its meaning,
an argument count referred as arity and a list of sorts defining the types for
the arguments of the predicate.
|
class |
Role
This class implements a role used in description logics
Every role is an predicate consisting of two individuals
|
class |
TypedStructureAdapter
The abstract parent for predicates and functors implementing the
TypedStructure interface.
|
| Modifier and Type | Method and Description |
|---|---|
abstract TypedStructure |
TypedStructureAdapter.clone() |
| Modifier and Type | Method and Description |
|---|---|
TypedStructure |
TypedStructure.clone()
Creates a deep copy of this object
|
Copyright © 2018. All rights reserved.