Interface TypedStructure

All Known Implementing Classes:
ASPOperator.ClingoPredicate, ASPOperator.DLVPredicate, EqualityPredicate, FolActionName, FolFluentName, Functor, InequalityPredicate, PlPredicate, Predicate, TypedStructureAdapter

public interface TypedStructure
This interface defines method which are given by every TypedStructure like a Predicate or an Functor. It has an name, an arity (argument count) and a list of Sort representing the types for the different arguments.
Author:
Tim Janus