Uses of Interface
orbital.logic.sign.type.Type

Packages that use Type

orbital.logic.sign	Defines generic interfaces for formal languages.
orbital.logic.sign.type	Defines interfaces for general type systems.
orbital.moon.logic	Contains implementations of some logics as well as a logic and mathematical expression parser.
orbital.moon.logic.functor	Experimental additional classes related to orbital.logic.functors.

Uses of Type in orbital.logic.sign

Fields in orbital.logic.sign declared as Type

static Type	SymbolBase.BOOLEAN_ATOM Deprecated. Since Orbital1.1 use Types.TRUTH instead.
static Type	SymbolBase.UNIVERSAL_ATOM Deprecated. Since Orbital1.1 use Types.INDIVIDUAL instead.

Methods in orbital.logic.sign that return Type

Type	SymbolBase.getType()

Methods in orbital.logic.sign with parameters of type Type

Symbol	SignatureBase.get(java.lang.String signifier, Type maxType)
Symbol	Signature.get(java.lang.String signifier, Type maxType) Returns the symbol with the specified signifier.
void	SymbolBase.setType(Type type)
void	Symbol.setType(Type type) Set the type specification of this symbol.

Constructors in orbital.logic.sign with parameters of type Type

SymbolBase(java.lang.String signifier, Type type)
Construct a constant symbol with a signifier, and type specification.

SymbolBase(java.lang.String signifier, Type type, Notation.NotationSpecification notation)
Construct a constant symbol with a signifier, type specification, and notation.

SymbolBase(java.lang.String signifier, Type type, Notation.NotationSpecification notation, boolean variable)
Construct a symbol with a signifier, type specification, and notation.

Uses of Type in orbital.logic.sign.type

Subinterfaces of Type in orbital.logic.sign.type

static interface

Type.Composite The base interface for all composite types that are composed of other types.

Fields in orbital.logic.sign.type declared as Type

static Type	Types.INDIVIDUAL The type ι of individuals (objects).
static Type	Types.TRUTH The type ο = () of truth-values.

Methods in orbital.logic.sign.type that return Type

Type	TypeSystem.ABSURD() The absurd type ⊥ = ⋃∅.
Type	TypeSystem.bag(Type element) The bag/multiset type 〔τ〕.
Type	Type.codomain() Get the co-domain τ of a type σ→τ.
Type	TypeSystem.collection(Type element) The general collection type collection(τ).
static Type	Types.declaredTypeOf(Functor f) Converts a functor specification to a type (guesses it from the declared type information).
Type	Type.domain() Get the domain σ of a type σ→τ.
Type	TypeException.getOccurred() Get the type that was actually found.
Type	TypeException.getRequired() Get the type that would have been required.
Type	Typed.getType() Get the propert type of this object.
Type	TypeSystem.inf(Type[] components) Get the infimum type ⋂iτi = τ1∩…∩τn.
Type	TypeSystem.list(Type element) The list type ⟨τ⟩.
Type	TypeSystem.map(Type domain, Type codomain) Get the map type σ→τ.
Type	TypeSystem.NOTYPE() Not a type.
Type	TypeSystem.objectType(java.lang.Class type) Get the object type described by a class.
Type	TypeSystem.objectType(java.lang.Class type, java.lang.String signifier) Get the object type described by a class.
Type	Type.on(Type sigma) Applies this type on sigma returning the resulting type.
Type	TypeSystem.predicate(Type domain) Get the predicate type (σ) = σ→ο.
Type	TypeSystem.product(Type[] components) Get the product type ∏iτi = τ1×…×τn.
Type	TypeSystem.set(Type element) The set type {τ}.
Type	TypeSystem.sup(Type[] components) Get the supremum type ⋃iτi = τ1∪…∪τn.
Type	TypeSystem.TYPE() The meta-type (kind) of types *:□.
static Type	Types.typeOf(java.lang.Object args) Guesses the type of an object.
static Type	Types.typeOf(Typed[] args) Returns the type of a list of arguments.
Type	TypeSystem.UNIVERSAL() The universal type ⊤ = ⋂∅.

Methods in orbital.logic.sign.type with parameters of type Type

static int	Types.arityOf(Type type) Get the number of components n of a product type ∏iτi = τ1×…×τn.
Type	TypeSystem.bag(Type element) The bag/multiset type 〔τ〕.
Type	TypeSystem.collection(Type element) The general collection type collection(τ).
Type	TypeSystem.inf(Type[] components) Get the infimum type ⋂iτi = τ1∩…∩τn.
static boolean	Types.isApplicableTo(Type compositorType, Expression[] args) Checks whether the type specification is compatible with the given list of arguments.
Type	TypeSystem.list(Type element) The list type ⟨τ⟩.
Type	TypeSystem.map(Type domain, Type codomain) Get the map type σ→τ.
Type	Type.on(Type sigma) Applies this type on sigma returning the resulting type.
Type	TypeSystem.predicate(Type domain) Get the predicate type (σ) = σ→ο.
Type	TypeSystem.product(Type[] components) Get the product type ∏iτi = τ1×…×τn.
Type	TypeSystem.set(Type element) The set type {τ}.
boolean	Type.subtypeOf(Type tau) Checks whether this type is a subtype of tau.
Type	TypeSystem.sup(Type[] components) Get the supremum type ⋃iτi = τ1∪…∪τn.

Constructors in orbital.logic.sign.type with parameters of type Type

TypeException(java.lang.String message, Type required, Type occurred)

Uses of Type in orbital.moon.logic

Methods in orbital.moon.logic that return Type

protected Type	LogicParser.asType(Expression f) Converts an expression to the type it represents.
Type	LogicParser.parseType() Start production parsing a type expression with the current syntax.
Type	LogicParser.typeUse() A type use.

Methods in orbital.moon.logic with parameters of type Type

protected Expression

LogicParser.apply(Token optok, Expression[] a, Type reqResult) n-ary predicates or functions.

Constructors in orbital.moon.logic with parameters of type Type

UniqueSymbol(java.lang.String signifierPrefix, Type type, Notation.NotationSpecification notation, boolean variable)
Create a new unique symbol of (display) signifier starting with signifierPrefix.

UniqueSymbol(Type type, Notation.NotationSpecification notation, boolean variable)

Uses of Type in orbital.moon.logic.functor

Fields in orbital.moon.logic.functor declared as Type

static Type	Operations.BINARY_LOGICAL_JUNCTOR
static Type	Operations.FOLD_LOGICAL_JUNCTOR
static Type	Operations.UNARY_LOGICAL_JUNCTOR