FALSE
List of: Law Symbols
Subjects: Laws, SAT Save and Restore
Contents: Laws

Action: Makes a law for the constant false.

Derivation: false_law : constant_law : law : ACIS_OBJECT : -

Syntax: FALSE (my_law)

Description: This test is used initially as part of selective booleans and sweeping. This can be used to specify which parts of a sweep operation are to be kept. This is a shorthand way of stating that all cells are to be kept. This law symbol has other uses not yet exploited yet.

Example: ; law "FALSE"

; Create a sweep example to show selective booleans.

(define blank (solid:block


(position -10 -10 5) (position 10 10 30)))

;; blank

; blank => [entity 2 1]

(define b2 (solid:block (position -5 -10 10)


(position 10 10 15)))

;; b2

(define b3 (solid:block (position -5 -10 20)


(position 10 10 25)))

;; b3

(solid:subtract blank b2)

;; [entity 2 1]

(solid:subtract blank b3)

;; [entity 2 1]

(define profile (edge:ellipse


(position 0 0 0) (gvector 0 0 1)2))

;; profile

(define path (edge:linear


(position 0 0 0) (position 0 0 35)))

;; path

(define opts (sweep:options "to_body" blank


"bool_type" "unite" "keep_law" "TRUE"))

;; opts

(sweep:law profile path opts)

;;[entity 2 1]

; Attempt sweep again without keeping anything.

(roll)

;; -1

(define opts (sweep:options "to_body" blank


"bool_type" "unite" "keep_law" "FALSE"))

;; opts

(sweep:law profile path opts)

;; #[entity 2 1]
PDF/LAW/08LAW.PDF
HTM/DATA/LAW/LAW/08LAW/0043.HTM