Class SymmetricFact

java.lang.Object

cruise.umple.alloy.AlloyObject

cruise.umple.alloy.Fact

cruise.umple.alloy.SymmetricFact

public class SymmetricFact
extends Fact

Field Summary

Fields inherited from class Fact

factName, firstClassName, rName1, rName2, secondClassName

Constructor Summary

Constructors

Constructor	Description
SymmetricFact()
SymmetricFact(Association assoc)

Method Summary

Modifier and Type	Method	Description
void	delete()
String	print()

Methods inherited from class Fact

factHeader, makeVarDeclaration, makeVarName, suchThatPlusNewLine

Methods inherited from class AlloyObject

addEndDottedLine, addStartDottedLine, convertEndsToAssociation, printObject

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

SymmetricFact

public SymmetricFact()

SymmetricFact

public SymmetricFact(Association assoc)

Method Details

delete

public void delete()

Overrides:

delete in class Fact

print

public String print()

Overrides:

print in class Fact