Tristan Dyer

BS Civil Engineering

NCSU 2011

MS Civil Engineering

NCSU 2013

PhD Civil Engineering

Coming Soon!

Research Blog

Extracting Subsets Of Relations

In Graph Utilities for Subsets we discuss how to use some of the predicates that ship with the graph utilities in Alloy on a subset of atoms in a relation as opposed to the default behavior, which is to require every atom in the supplied signature to be present in the relation. Here we’ll look at how to use the restriction operators to create subsets of relations that can be used with these utilities.

05 Dec 2018

Graph Utilities For Subsets

The graph utilities that ship with Alloy are extremely useful for setting up topologies. However, a few of the predicates enforce properties to hold true over the entire supplied signature. In most cases this is the desired behavior, but occasionally it is useful to enforce the properties over a subset of the signature’s atoms.

03 Dec 2018