Drasil.DblPend.Assumptions
twoDMotion :: ConceptInstance Source #
cartSys :: ConceptInstance Source #
cartSysR :: ConceptInstance Source #
yAxisDir :: ConceptInstance Source #
startOriginSingle :: ConceptInstance Source #
startOriginDouble :: ConceptInstance Source #
firstPend :: ConceptInstance Source #
secondPend :: ConceptInstance Source #
assumpSingle :: [ConceptInstance] Source #
assumpDouble :: [ConceptInstance] Source #