| 2000 |
|
sm = wx.Menu()
|
| 2001 |
|
sm.Append(self.popsID71, "Irreflexive")
|
| 2002 |
|
sm.Append(self.popsID72, "Asymmetric")
|
| 2003 |
|
sm.Append(self.popsID73, "Intransitive")
|
| 2004 |
|
sm.Append(self.popsID74, "Antisymmetric")
|
| 2005 |
|
sm.Append(self.popsID75, "Acyclic")
|
| 2006 |
|
sm.Append(self.popsID76, "Antisymmetric + Intransitive")
|
| 2007 |
|
sm.Append(self.popsID77, "Acyclic + Intransitive")
|
| 2008 |
|
sm.Append(self.popsID78, "Symmetric")
|
| 2009 |
|
sm.Append(self.popsID79, "Symmetric + Irreflexive")
|
| 2010 |
|
sm.Append(self.popsID80, "Symmetric + Intransitive")
|
| 2011 |
|
sm.Append(self.popsID81, "Purely Reflexive")
|
| 2012 |
|
menu.AppendMenu(self.popsID29, "Ring Constraints", sm)
|
| |
1997 |
menu.AppendRadioItem(self.popsID29, "Set as Ring (not implemented)")
|
| |
1998 |
menu.Check(self.popsID29, (constraint.Operator == 'Ring'))
|
| 2079 |
|
self.popsID71 = wx.NewId()
|
| 2080 |
|
self.popsID72 = wx.NewId()
|
| 2081 |
|
self.popsID73 = wx.NewId()
|
| 2082 |
|
self.popsID74 = wx.NewId()
|
| 2083 |
|
self.popsID75 = wx.NewId()
|
| 2084 |
|
self.popsID76 = wx.NewId()
|
| 2085 |
|
self.popsID77 = wx.NewId()
|
| 2086 |
|
self.popsID78 = wx.NewId()
|
| 2087 |
|
self.popsID79 = wx.NewId()
|
| 2088 |
|
self.popsID80 = wx.NewId()
|
| 2089 |
|
self.popsID81 = wx.NewId()
|
| 2126 |
|
self.Bind(wx.EVT_MENU, self.OnPops71, id=self.popsID71)
|
| 2127 |
|
self.Bind(wx.EVT_MENU, self.OnPops72, id=self.popsID72)
|
| 2128 |
|
self.Bind(wx.EVT_MENU, self.OnPops73, id=self.popsID73)
|
| 2129 |
|
self.Bind(wx.EVT_MENU, self.OnPops74, id=self.popsID74)
|
| 2130 |
|
self.Bind(wx.EVT_MENU, self.OnPops75, id=self.popsID75)
|
| 2131 |
|
self.Bind(wx.EVT_MENU, self.OnPops76, id=self.popsID76)
|
| 2132 |
|
self.Bind(wx.EVT_MENU, self.OnPops77, id=self.popsID77)
|
| 2133 |
|
self.Bind(wx.EVT_MENU, self.OnPops78, id=self.popsID78)
|
| 2134 |
|
self.Bind(wx.EVT_MENU, self.OnPops79, id=self.popsID79)
|
| 2135 |
|
self.Bind(wx.EVT_MENU, self.OnPops80, id=self.popsID80)
|
| 2136 |
|
self.Bind(wx.EVT_MENU, self.OnPops81, id=self.popsID81)
|
| 2484 |
|
def OnPops71(self, event):
|
| 2485 |
|
s = 'Irreflexive'
|
| 2486 |
|
self.SetRoleConstraint(event, s, 'Undo ' + s)
|
| 2487 |
|
def OnPops72(self, event):
|
| 2488 |
|
s = 'Asymmetric'
|
| 2489 |
|
self.SetRoleConstraint(event, s, 'Undo ' + s)
|
| 2490 |
|
def OnPops73(self, event):
|
| 2491 |
|
s = 'Intransitive'
|
| 2492 |
|
self.SetRoleConstraint(event, s, 'Undo ' + s)
|
| 2493 |
|
def OnPops74(self, event):
|
| 2494 |
|
s = 'Antisymmetric'
|
| 2495 |
|
self.SetRoleConstraint(event, s, 'Undo ' + s)
|
| 2496 |
|
def OnPops75(self, event):
|
| 2497 |
|
s = 'Acyclic'
|
| 2498 |
|
self.SetRoleConstraint(event, s, 'Undo ' + s)
|
| 2499 |
|
def OnPops76(self, event):
|
| 2500 |
|
s = 'Antisymmetric + Intransitive'
|
| 2501 |
|
self.SetRoleConstraint(event, s, 'Undo ' + s)
|
| 2502 |
|
def OnPops77(self, event):
|
| 2503 |
|
s = 'Acyclic + Intransitive'
|
| 2504 |
|
self.SetRoleConstraint(event, s, 'Undo ' + s)
|
| 2505 |
|
def OnPops78(self, event):
|
| 2506 |
|
s = 'Symmetric'
|
| 2507 |
|
self.SetRoleConstraint(event, s, 'Undo ' + s)
|
| 2508 |
|
def OnPops79(self, event):
|
| 2509 |
|
s = 'Symmetric + Irreflexive'
|
| 2510 |
|
self.SetRoleConstraint(event, s, 'Undo ' + s)
|
| 2511 |
|
def OnPops80(self, event):
|
| 2512 |
|
s = 'Symmetric + Intransitive'
|
| 2513 |
|
self.SetRoleConstraint(event, s, 'Undo ' + s)
|
| 2514 |
|
def OnPops81(self, event):
|
| 2515 |
|
s = 'Purely Reflexive'
|
| 2516 |
|
self.SetRoleConstraint(event, s, 'Undo ' + s)
|
| 2517 |
|
|