Function clingo::add_string [−] [src]

pub fn add_string(string: &str) -> Result<&'static str, Error>

Internalize a string.

This functions takes a string as input and returns an equal unique string that is (at the moment) not freed until the program is closed. All strings returned from clingo API functions are internalized and must not be freed.

Arguments

  • string - the string to internalize
  • result - the internalized string

Errors