GBBopen 1.5 Reference -- find-space-instances

find-space-instances

find-space-instances

space-instance-regexp => space-instances

[Function]

Purpose
Return the space instances that match a path-expression pattern.

Package :gbbopen

Module :gbbopen-core

Arguments and values

space-instance-regexp		A space-instance path regular expression specifying the space instances to be returned
space-instances		A proper list

Returns
The specified space instances.

Description
The space-instance-regexp argument is either the symbol t (indicating all space instances) or a list representing a regular expression where the following reserved symbols are interpreted as follows:

	`=`		matches one occurrence in a space-instance path
	`?`		matches zero or one occurrence in a space-instance path
	`+`		matches one or more occurrences in a space-instance path
	`*`		matches zero or more occurrences in a space-instance path
	`^`		move to parent

Thus both (find-space-instances '(*)) and (find-space-instances 't) return all space instances.

A space-instance-regexp value consisting of a list of space instances is returned unchanged.

Examples
Return the space instances that are rooted at (bb):

  > (find-space-instances '(bb +))
  (#<standard-space-instance (bb hyps)>
   #<standard-space-instance (bb probable-hyps)>)
   #<standard-space-instance (bb rejected-hyps)>)
  >

Return all the space instances (bb) and below:

  > (find-space-instances '(bb *))
  (#<standard-space-instance (bb hyps)>
   #<standard-space-instance (bb probable-hyps)>)
   #<standard-space-instance (bb rejected-hyps)>
   #<standard-space-instance (bb)>)
  >

The GBBopen Project

find-space-instances