- : unit = ()
h : heuristic =
- : unit = ()
APPLY CRITERIA (Marked dependency pairs)
TRS termination of:
[1] f(a) -> f(b)
[2] g(b) -> g(a)
[3] f(x) -> g(x)
Sub problem:
guided:
DP termination of:
END GUIDED
APPLY CRITERIA (Graph splitting)
Found 0 components:
SOLVED
{
TRS termination of:
[1] f(a) -> f(b)
[2] g(b) -> g(a)
[3] f(x) -> g(x)
,
CRITERION: MDP
[ {
DP termination of:
,
CRITERION: SG
[ ]}
]}
Cime worked for 0.001278 seconds (real time)
Cime Exit Status: 0