Package net.sf.tweety.logics.commons.syntax

Class TypedStructureAdapter

java.lang.Object

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

All Implemented Interfaces:

Comparable<TypedStructureAdapter>, TypedStructure

Direct Known Subclasses:

Functor, Predicate

public abstract class TypedStructureAdapter
extends Object
implements TypedStructure, Comparable<TypedStructureAdapter>

The abstract parent for predicates and functors implementing the TypedStructure interface. This class implements their common functionalities.

Author:

Matthias Thimm, Tim Janus

Constructor Summary

Constructors

Constructor	Description
TypedStructureAdapter()	Default-Ctor: Creating empty typed structure
TypedStructureAdapter(String name)	Initializes a structure of arity zero with the given name;
TypedStructureAdapter(String name, int arity)	Initializes a structure with the given name and of the given arity.
TypedStructureAdapter(String name, List<Sort> arguments)	Initializes a structure with the given name and the given list of argument sorts.

Method Summary

Modifier and Type	Method	Description
void	addArgumentType(Sort argType)	Adds the given Sort as argument type to the typed Structure
abstract TypedStructure	clone()	Creates a deep copy of this object
int	compareTo(TypedStructureAdapter o)
protected List<Sort>	copyArgumentTypes()
boolean	equals(Object obj)
List<Sort>	getArgumentTypes()
int	getArity()
String	getName()
int	hashCode()
boolean	isComplete()
boolean	isTyped()
Sort	removeArgumentType(int index)	Removes the argument type at the specified index
boolean	removeArgumentType(Sort argType)	Removes the given Sort from the list of argument types
void	setName(String name)	Changes the name of the Structure
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

TypedStructureAdapter

public TypedStructureAdapter()

Default-Ctor: Creating empty typed structure

TypedStructureAdapter

public TypedStructureAdapter(String name)

Initializes a structure of arity zero with the given name;

Parameters:

name - the name of the structure

TypedStructureAdapter

public TypedStructureAdapter(String name,
                             int arity)

Initializes a structure with the given name and of the given arity. Every argument gets the sort Sort.THING.

Parameters:

name - the name of the structure

arity - the arity of this structure

TypedStructureAdapter

public TypedStructureAdapter(String name,
                             List<Sort> arguments)

Initializes a structure with the given name and the given list of argument sorts.

Parameters:

name - the name of the structure

arguments - the sorts of the arguments

Method Detail

getName

public String getName()

Specified by:

getName in interface TypedStructure

Returns:

the unique name of the structure

setName

public void setName(String name)

Description copied from interface: TypedStructure

Changes the name of the Structure

Specified by:

setName in interface TypedStructure

Parameters:

name - The new name of the structure

getArity

public int getArity()

Specified by:

getArity in interface TypedStructure

Returns:

the arity of this structure

getArgumentTypes

public List<Sort> getArgumentTypes()

Specified by:

getArgumentTypes in interface TypedStructure

Returns:

An unmodifiable list which length equals the arity of the predicate if the structure isComplete().

addArgumentType

public void addArgumentType(Sort argType)

Description copied from interface: TypedStructure

Adds the given Sort as argument type to the typed Structure

Specified by:

addArgumentType in interface TypedStructure

Parameters:

argType - The Sort descibing the argument type

removeArgumentType

public Sort removeArgumentType(int index)

Description copied from interface: TypedStructure

Removes the argument type at the specified index

Specified by:

removeArgumentType in interface TypedStructure

Parameters:

index - The index

Returns:

A reference to the sort that has been remove or null if no sort has been removed.

removeArgumentType

public boolean removeArgumentType(Sort argType)

Description copied from interface: TypedStructure

Removes the given Sort from the list of argument types

Specified by:

removeArgumentType in interface TypedStructure

Parameters:

argType - The Sort which is removed

Returns:

true if the Sort exists in the list of argument types and is successfully removed, false otherwise.

isTyped

public boolean isTyped()

Specified by:

isTyped in interface TypedStructure

Returns:

true if at least one sort for an argument is not "Thing".

isComplete

public boolean isComplete()

Specified by:

isComplete in interface TypedStructure

Returns:

true if the arity of this structure matches the length of it's arguments, false if the arity is bigger than the length of it's arguments.

toString

public String toString()

Overrides:

toString in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

copyArgumentTypes

protected List<Sort> copyArgumentTypes()

clone

public abstract TypedStructure clone()

Description copied from interface: TypedStructure

Creates a deep copy of this object

Specified by:

clone in interface TypedStructure

Overrides:

clone in class Object

Returns:

A deep copy of this object

compareTo

public int compareTo(TypedStructureAdapter o)

Specified by:

compareTo in interface Comparable<TypedStructureAdapter>