Appendix A - Predicates for visualization

Appendix A: Predicates for visualization

Visualization control predicates
`Inference VisualUpdate`

Predicates for geometric objects

View ViewOrigin ViewColor Point PointSize PointColor PointShape Line LineColor LineThickness LineStyle Rectangle RectangleColor RectangleFrameColor Ellipse EllipseColor EllipseFrameColor SmallText SmallTextColor SmallTextSize SmallTextFont SmallTextFace

Predicates for graphs and trees

Graph Tree Directed Root Node NodeName NodeColor NodeFrame NodeShape NodePos NodeLabel NodeLabelColor Arc ArcThickness ArcColor ArcOffset ArcStyle ArcLabel ArcLabelColor

Library predicates

<ProgBarLib.c> ProgressBar

<GraphLib.c> AdjacencyMatrix AdjacencyList

<ArrayLib.c> Array ArrayItem ArrayItemColor ArrayItemFace ArrayItemBackColor ArrayTitle

<ListLib.c> List ListItemWidth ListItemHeight ListItemColor ListItemBackColor ListItemValueListItemNext

Built-in predicates

InRange InRangeStep

Predicates for geometric objects
`View ViewOrigin ViewColor Point PointSize PointColor PointShape`	`Line LineColor LineThickness LineStyle Rectangle RectangleColor RectangleFrameColor`	`Ellipse EllipseColor EllipseFrameColor SmallText SmallTextColor SmallTextSize SmallTextFont SmallTextFace`

Predicates for graphs and trees
`Graph Tree Directed Root`	`Node NodeName NodeColor NodeFrame NodeShape NodePos NodeLabel NodeLabelColor`	`Arc ArcThickness ArcColor ArcOffset ArcStyle ArcLabel ArcLabelColor`

Library predicates
`<ProgBarLib.c>`	`ProgressBar`
`<GraphLib.c>`	`AdjacencyMatrix AdjacencyList`
`<ArrayLib.c>`	`Array ArrayItem ArrayItemColor ArrayItemFace ArrayItemBackColor ArrayTitle`
`<ListLib.c>`	`List ListItemWidth ListItemHeight ListItemColor ListItemBackColor ListItemValueListItemNext`