Jump to content

pvs specifications of order crossover


saleha noor

Recommended Posts

hello..

I am trying to write order crossover specifications in pvs . i have done with cut, head and tail functions specifications now i need a delete function which delete a sequence to another sequence

here is a fuction that del

 

 

 

 

del_element(a:T, p):RECURSIVE finseq[T]=

 

(# length:= p`length,

seq := LAMBDA (i:below[p`length]):(if p`seq(i) =a THEN empty_seq[T]

ELSE del_element(a,p) ENDIF)#)

MEASURE p`length

 

 

 

 

delete all occurrences of element a. can any body guide me what changes it acquires to delete n element recursively with correct syntax.

Link to comment
Share on other sites

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now
×
×
  • Create New...

Important Information

We have placed cookies on your device to help make this website better. You can adjust your cookie settings, otherwise we'll assume you're okay to continue.