[ library(gfd) | Reference Manual | Alphabetic Index ]

# struct trans(f, t, l)

Specification of s transition in the DFA for extensional/4.

## Fields

f
  From state
t
  To state
l
  label

## Description

This is used to specify a transition in the DFA for the extensional constraint extensional/4. The transition trans{f:F,t:T,l:L} is a transition from state F to state T, and labelling the variable with the value L.