Up – Package index » TCSLib » Library TCSLib » Tcsautomata » DBVPA

Module `Tcsautomata.DBVPA`

type ('a, 'b, 'd) t = ('a, 'b, 'a -> bool, 'd) DMVPA.t

val build : 
  'a Tcsbasedata.Domain.t ->
  'b DMVPA.nested Alphabet.alphabet ->
  'd Tcsbasedata.Domain.t ->
  'a ->
  ('a -> 'b DMVPA.nested -> 'a) ->
  ('a -> 'b DMVPA.nested -> 'a * 'd) ->
  ('a -> 'b DMVPA.nested -> 'd option -> 'a) ->
  ('a -> bool) ->
  ('a, 'b, 'd) t

val accept : ('a, 'b, 'd) t -> 'a -> bool

val asDPVPA2 : ('a, 'b, 'd) t -> int -> int -> ('a, 'b, 'd) DPVPA.t

val asDPVPA : ('a, 'b, 'd) t -> ('a, 'b, 'd) DPVPA.t