object Morph
- Source
- ModuleOperators.scala
- Alphabetic
- By Inheritance
- Morph
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
associateComposition(mors: List[Term]): List[Term]
transform a morphism into a list of morphisms by using associativity of composition
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
def
codomain(m: Term)(implicit lib: Lookup): Option[Term]
pre: m is a well-structured morphism
-
def
domain(m: Term)(implicit lib: Lookup): Option[Term]
pre: m is a well-structured morphism
- val empty: Term
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equal(a: Term, b: Term, from: Term, to: Term)(implicit lib: Lookup): Boolean
checks equality of two morphisms using the simplify method; sound but not complete pre: a and b are well-formed, include all implicit morphisms, and have domain 'from'
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
insertImplicits(mor: Term, from: Term, to: Term)(implicit lib: Lookup): Term
pre/postcomposes implicit morphisms if any pre: from -mor-> to returns OMCOMP(b,mor,a) such that from -b-> dom(mor) -mor-> cod(mor) -a-> to for implicit morphisms b, a
-
def
isInclude(m: Term)(implicit lib: Lookup): Boolean
true if m is a morphism that reduces to the identity/include
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
def
simplify(mor: Term, preserveType: Boolean = false)(implicit lib: Lookup): Term
pre: mor is a valid morphism and includes all implicit morphisms post: mor and simplify(m) are equal
pre: mor is a valid morphism and includes all implicit morphisms post: mor and simplify(m) are equal
- mor
the morphism to simplify
- preserveType
if true, identity morphisms that restrict the type domain are preserved if they cannot be reduced; otherwise, they become OMCOMP()
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()