orbital.logic.imp
Interface Formula.Composite

All Superinterfaces:

Composite, Expression, Expression.Composite, Formula, Function, Function.Composite, Functor, Functor.Composite, Typed

Enclosing interface:

Formula

public static interface Formula.Composite
extends Expression.Composite, Function.Composite, Formula

Interface for composite formulas. A compound formula is both, a (syntactically) compound expression, and compound in the sense of the interpretation function. Both compositions are, of course, due to the same compositors and components.

Author:

André Platzer

Structure:

is Expression.Composite∩Function.Composite∩Formula

Nested Class Summary

Nested classes/interfaces inherited from interface orbital.logic.functor.Functor

Functor.Specification

Nested classes/interfaces inherited from interface orbital.logic.functor.Functor

Functor.Specification

Nested classes/interfaces inherited from interface orbital.logic.imp.Formula

Formula.Composite

Nested classes/interfaces inherited from interface orbital.logic.functor.Functor

Functor.Specification

Field Summary

Fields inherited from interface orbital.logic.functor.Function

callTypeDeclaration

Fields inherited from interface orbital.logic.functor.Function

callTypeDeclaration

Method Summary

Methods inherited from interface orbital.logic.sign.Expression

getSignature

Methods inherited from interface orbital.logic.sign.type.Typed

getType

Methods inherited from interface orbital.logic.functor.Functor.Composite

getNotation, setNotation

Methods inherited from interface orbital.logic.functor.Functor

toString

Methods inherited from interface orbital.logic.functor.Functor

toString

Methods inherited from interface orbital.logic.imp.Formula

and, apply, equals, equiv, exists, forall, getBoundVariables, getFreeVariables, getVariables, hashCode, impl, not, or, xor

Methods inherited from interface orbital.logic.sign.Expression

getSignature

Methods inherited from interface orbital.logic.sign.type.Typed

getType

Methods inherited from interface orbital.logic.functor.Functor

toString