Partially implemented range algorithm.
Partially implemented range algorithm.
Partially implemented range algorithm.
Implemented some things of range algorithm.
Added prevParam onto checking of node.
Partially implemented range algorithm.
Added handling of type parameter conditions.
Fixed.
Fixed checkLeafIndexSetsTypeConjunction and
checkLeafIndexSetsDisjunction.
Fixed.
Fixed.
Fixed.
Fixed algorithm of checkSupertypeConjunctionNode.
Fixed.
Fixed.
Fixed.
Fixed algorithm of checkOrDistributeSupertypeConjunctionNode.
Added and partially implemented
LogicalTypeValueTermInfo.fromTypeValueNode.
Implemented LogicalTypeValueTermInfo.fromTypeValueNode.
Fixed.