FrameIT
Scroll.ScrollValueFact Class Reference
Inheritance diagram for Scroll.ScrollValueFact:
Scroll.ScrollFact

Public Member Functions

override String getType ()
 

Public Attributes

MMTTerm lhs
 
MMTTerm valueTp
 
MMTTerm value
 
MMTTerm proof
 
- Public Attributes inherited from Scroll.ScrollFact
string kind
 
UriReference ref
 
string label
 

Detailed Description

Class used for deserializing incoming value-declarations from mmt

Member Function Documentation

◆ getType()

override String Scroll.ScrollValueFact.getType ( )
virtual

Implements Scroll.ScrollFact.

Member Data Documentation

◆ lhs

MMTTerm Scroll.ScrollValueFact.lhs

◆ proof

MMTTerm Scroll.ScrollValueFact.proof

◆ value

MMTTerm Scroll.ScrollValueFact.value

◆ valueTp

MMTTerm Scroll.ScrollValueFact.valueTp

The documentation for this class was generated from the following file: