Cross Reference: sequenceMarkerTest2.clf
xref: /hets/CommonLogic/TestData/sequenceMarkerTest2.clf
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
21b2c993ba4467ad14509265270ad71ef59c4064Eugen Kuksa
21b2c993ba4467ad14509265270ad71ef59c4064Eugen Kuksa
21b2c993ba4467ad14509265270ad71ef59c4064Eugen Kuksa
21b2c993ba4467ad14509265270ad71ef59c4064Eugen Kuksa(AllEq x)
21b2c993ba4467ad14509265270ad71ef59c4064Eugen Kuksa
21b2c993ba4467ad14509265270ad71ef59c4064Eugen Kuksa(iff (AllEq x y ...sm1)
21b2c993ba4467ad14509265270ad71ef59c4064Eugen Kuksa (and (= x y) (AllEq y ...sm1)))
21b2c993ba4467ad14509265270ad71ef59c4064Eugen Kuksa
21b2c993ba4467ad14509265270ad71ef59c4064Eugen Kuksa
21b2c993ba4467ad14509265270ad71ef59c4064Eugen Kuksa(AllDiff x)
21b2c993ba4467ad14509265270ad71ef59c4064Eugen Kuksa
21b2c993ba4467ad14509265270ad71ef59c4064Eugen Kuksa(iff (AllDiff x y ...sm2)
21b2c993ba4467ad14509265270ad71ef59c4064Eugen Kuksa (and (not (= x y)) (AllDiff x ...sm2) (AllDiff y ...sm2)))
21b2c993ba4467ad14509265270ad71ef59c4064Eugen Kuksa
21b2c993ba4467ad14509265270ad71ef59c4064Eugen Kuksa(and (...sm3) (...sm4))

Indexes created Tue Jul 24 14:28:13 CEST 2018