path: root/language/src/main/resources/org/eclipse/viatra/solver/language/builtin.problem

problem builtin.

abstract class node {
	node[] equals opposite equals
}

pred exists(node node).

enum bool {
	true, false
}

class double.

class int extends double.

class string.