Documentation

inReqDesc :: Sentence Source #

funcReqs :: [ConceptInstance] Source #

findMass :: ConceptInstance Source #

checkWithPhysConsts :: ConceptInstance Source #

outputInputDerivVals :: ConceptInstance Source #

verifyEnergyOutput :: ConceptInstance Source #

calcPCMMeltBegin :: ConceptInstance Source #

calcPCMMeltEnd :: ConceptInstance Source #

calcValues :: [InstanceModel] -> ConceptInstance Source #

outputValues :: [InstanceModel] -> ConceptInstance Source #

findMassConstruct :: (Referable r, HasShortName r, Referable s, HasShortName s, Referable t, HasShortName t) => r -> Sentence -> [s] -> [t] -> ConceptInstance Source #

oIDQConstruct :: [Sentence] -> ConceptInstance Source #

oIDQVals :: [Sentence] Source #

outputList :: [InstanceModel] -> Sentence Source #

swhsOutputs :: [InstanceModel] Source #

nfRequirements :: [ConceptInstance] Source #

correct :: ConceptInstance Source #

verifiable :: ConceptInstance Source #

understandable :: ConceptInstance Source #

reusable :: ConceptInstance Source #

maintainable :: ConceptInstance Source #