| 3585 |
|
menu.AppendRadioItem(self.popsID29, "Set as Ring (not implemented)")
|
| 3586 |
|
menu.Check(self.popsID29, (constraint.Operator == 'Ring'))
|
| |
3585 |
sm = wx.Menu()
|
| |
3586 |
sm.Append(self.popsID71, "Irreflexive")
|
| |
3587 |
sm.Append(self.popsID72, "Asymmetric")
|
| |
3588 |
sm.Append(self.popsID73, "Intransitive")
|
| |
3589 |
sm.Append(self.popsID74, "Antisymmetric")
|
| |
3590 |
sm.Append(self.popsID75, "Acyclic")
|
| |
3591 |
sm.Append(self.popsID76, "Antisymmetric + Intransitive")
|
| |
3592 |
sm.Append(self.popsID77, "Acyclic + Intransitive")
|
| |
3593 |
sm.Append(self.popsID78, "Symmetric")
|
| |
3594 |
sm.Append(self.popsID79, "Symmetric + Irreflexive")
|
| |
3595 |
sm.Append(self.popsID80, "Symmetric + Intransitive")
|
| |
3596 |
sm.Append(self.popsID81, "Purely Reflexive")
|
| |
3597 |
menu.AppendMenu(self.popsID29, "Ring Constraints", sm)
|
| |
3664 |
self.popsID71 = wx.NewId()
|
| |
3665 |
self.popsID72 = wx.NewId()
|
| |
3666 |
self.popsID73 = wx.NewId()
|
| |
3667 |
self.popsID74 = wx.NewId()
|
| |
3668 |
self.popsID75 = wx.NewId()
|
| |
3669 |
self.popsID76 = wx.NewId()
|
| |
3670 |
self.popsID77 = wx.NewId()
|
| |
3671 |
self.popsID78 = wx.NewId()
|
| |
3672 |
self.popsID79 = wx.NewId()
|
| |
3673 |
self.popsID80 = wx.NewId()
|
| |
3674 |
self.popsID81 = wx.NewId()
|
| |
3711 |
self.Bind(wx.EVT_MENU, self.OnPops71, id=self.popsID71)
|
| |
3712 |
self.Bind(wx.EVT_MENU, self.OnPops72, id=self.popsID72)
|
| |
3713 |
self.Bind(wx.EVT_MENU, self.OnPops73, id=self.popsID73)
|
| |
3714 |
self.Bind(wx.EVT_MENU, self.OnPops74, id=self.popsID74)
|
| |
3715 |
self.Bind(wx.EVT_MENU, self.OnPops75, id=self.popsID75)
|
| |
3716 |
self.Bind(wx.EVT_MENU, self.OnPops76, id=self.popsID76)
|
| |
3717 |
self.Bind(wx.EVT_MENU, self.OnPops77, id=self.popsID77)
|
| |
3718 |
self.Bind(wx.EVT_MENU, self.OnPops78, id=self.popsID78)
|
| |
3719 |
self.Bind(wx.EVT_MENU, self.OnPops79, id=self.popsID79)
|
| |
3720 |
self.Bind(wx.EVT_MENU, self.OnPops80, id=self.popsID80)
|
| |
3721 |
self.Bind(wx.EVT_MENU, self.OnPops81, id=self.popsID81)
|
| |
4069 |
def OnPops71(self, event):
|
| |
4070 |
s = 'Irreflexive'
|
| |
4071 |
self.SetRoleConstraint(event, s, 'Undo ' + s)
|
| |
4072 |
def OnPops72(self, event):
|
| |
4073 |
s = 'Asymmetric'
|
| |
4074 |
self.SetRoleConstraint(event, s, 'Undo ' + s)
|
| |
4075 |
def OnPops73(self, event):
|
| |
4076 |
s = 'Intransitive'
|
| |
4077 |
self.SetRoleConstraint(event, s, 'Undo ' + s)
|
| |
4078 |
def OnPops74(self, event):
|
| |
4079 |
s = 'Antisymmetric'
|
| |
4080 |
self.SetRoleConstraint(event, s, 'Undo ' + s)
|
| |
4081 |
def OnPops75(self, event):
|
| |
4082 |
s = 'Acyclic'
|
| |
4083 |
self.SetRoleConstraint(event, s, 'Undo ' + s)
|
| |
4084 |
def OnPops76(self, event):
|
| |
4085 |
s = 'Antisymmetric + Intransitive'
|
| |
4086 |
self.SetRoleConstraint(event, s, 'Undo ' + s)
|
| |
4087 |
def OnPops77(self, event):
|
| |
4088 |
s = 'Acyclic + Intransitive'
|
| |
4089 |
self.SetRoleConstraint(event, s, 'Undo ' + s)
|
| |
4090 |
def OnPops78(self, event):
|
| |
4091 |
s = 'Symmetric'
|
| |
4092 |
self.SetRoleConstraint(event, s, 'Undo ' + s)
|
| |
4093 |
def OnPops79(self, event):
|
| |
4094 |
s = 'Symmetric + Irreflexive'
|
| |
4095 |
self.SetRoleConstraint(event, s, 'Undo ' + s)
|
| |
4096 |
def OnPops80(self, event):
|
| |
4097 |
s = 'Symmetric + Intransitive'
|
| |
4098 |
self.SetRoleConstraint(event, s, 'Undo ' + s)
|
| |
4099 |
def OnPops81(self, event):
|
| |
4100 |
s = 'Purely Reflexive'
|
| |
4101 |
self.SetRoleConstraint(event, s, 'Undo ' + s)
|
| |
4102 |
|