Package cruise.umple.alloy
Class NonReflexiveFact
java.lang.Object
cruise.umple.alloy.AlloyObject
cruise.umple.alloy.Fact
cruise.umple.alloy.NonReflexiveFact
public class NonReflexiveFact extends Fact
-
Field Summary
Fields inherited from class cruise.umple.alloy.Fact
factName, firstClassName, rName1, rName2, secondClassName
-
Constructor Summary
Constructors Constructor Description NonReflexiveFact()
NonReflexiveFact(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
-
NonReflexiveFact
public NonReflexiveFact() -
NonReflexiveFact
-
-
Method Details