Package cruise.umple.alloy
Class BidirectionFact
java.lang.Object
cruise.umple.alloy.AlloyObject
cruise.umple.alloy.Fact
cruise.umple.alloy.BidirectionFact
public class BidirectionFact extends Fact
-
Field Summary
Fields inherited from class cruise.umple.alloy.Fact
factName, firstClassName, rName1, rName2, secondClassName
-
Constructor Summary
Constructors Constructor Description BidirectionFact()
BidirectionFact(Association assoc)
-
Method Summary
Methods inherited from class cruise.umple.alloy.Fact
factHeader, makeVarDeclaration, makeVarName, suchThatPlusNewLine
Methods inherited from class cruise.umple.alloy.AlloyObject
addEndDottedLine, addStartDottedLine, convertEndsToAssociation, printObject
-
Constructor Details
-
BidirectionFact
public BidirectionFact() -
BidirectionFact
-
-
Method Details