net.sf.tweety.logics.commons.syntax

Class Role

java.lang.Object

net.sf.tweety.logics.commons.syntax.TypedStructureAdapter

net.sf.tweety.logics.commons.syntax.Predicate

net.sf.tweety.logics.commons.syntax.Role

All Implemented Interfaces:

java.lang.Comparable<TypedStructureAdapter>, TypedStructure

public class Role
extends Predicate

This class implements a role used in description logics Every role is an predicate consisting of two individuals

Author:

Bastian Wolf

Constructor Summary

Constructors

Constructor and Description
Role()
Role(java.lang.String name)
Role(java.lang.String name, java.util.Set<Pair<Individual,Individual>> roles)

Method Summary

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

clone, equals, hashCode

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

addArgumentType, compareTo, copyArgumentTypes, getArgumentTypes, getArity, getName, isComplete, isTyped, removeArgumentType, removeArgumentType, setArity, setName, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

Role

public Role()

Role

public Role(java.lang.String name)

Role

public Role(java.lang.String name,
            java.util.Set<Pair<Individual,Individual>> roles)